From Control Loops to Real-Time Programs (2005)

by Paul Caspi, Oded Maler
Venue:In Handbook of Networked and Embedded Control Systems. Birkhäuser