Henzinger, T. A., Horowitz, B., and Kirsch, C. M., Giotto: A time-triggered language for embedded programming. In Proceedings of the First International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science 2211, Springer-Verlag, 2001, pp. 166-184. (2001) |