Thomas A. Henzinger Benjamin Horowitz Christoph M. Kirsch Giotto: a time-triggered language for embedded programming. 84-99 2003 91 Proceedings of the IEEE 1 db/journals/pieee/pieee91.html#HenzingerHK03