Henzinger, T.A.; Horowitz, B.; Kirsch, C.M., "Giotto: a time-triggered language for embedded programming," Proceedings of the IEEE 91:84-99, 2003

Languages mentioned

• Giotto {2001}