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

by T A HENZINGER, B HOROWITZ, C M KIRSCH
Venue:Proceedings of the IEEE