The embedded machine: Predictable, portable real-time code (2007)

by Thomas A Henzinger, Christoph M Kirsch
Venue:ACM Trans. Program. Lang. Syst