T.A. Henzinger and C. M. Kirsch, "The Embedded Machine: Predictable, portable real-time code". Proceedings of the International Conference on Programming Language Design and Implementation (PLDI). ACM Press, 2002, pp. 315-326.

Languages mentioned

• Giotto {2001}