/papers/scala-for-real-time-systems/proceedingspaper-6514742