Henzinger, T. A., Horowitz, B., and Kirsch, C. M., Embedded control systems development with Giotto. In Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM Press, 2001, pp. 64-72.

Languages mentioned

• Giotto {2001}