Giotto: a time-triggered language for embedded programming, in (1983)

by T A Henzinger, B Horowitz, C M Kirsch
Venue:Mathematics and Computer Science, Delft University of Technology, The Netherlands