"The Embedded Machine: Predictable, Portable Real-Time Code."

Thomas A. Henzinger, Christoph M. Kirsch (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics