Henzinger, T. A., &; Kirsch, C. (2002). The embedded machine: predictable, portable real-time code. In Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation (pp. 315–326). Berlin, Germany: ACM.https://doi.org/10.1145/512529.512567 
LibreCat: https://research-explorer.ista.ac.at/record/4444
DOI: 10.1145/512529.512567