Giotto: A time-triggered language for embedded programming. (2003)

by T A Henzinger, B Horowitz, C M Kirsch
Venue:Proceedings of the IEEE 91:84–99,