The embedded machine: predictable, portable realtime code. In: (2002)

by Giotto Project, http www-cad eecs berkeley edufrescogiotto Henzinger, T A, C M Kirsch
Venue:Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI):