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

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