De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.”https://doi.org/10.1007/3-540-45449-7_11__In Proceedings of the 1st International Workshop on Embedded Software, 2211:148–65. ACM, 2001.https://doi.org/10.1007/3-540-45449-7_11 .
LibreCat: https://research-explorer.ista.ac.at/record/4623
DOI: 10.1007/3-540-45449-7_11

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.”https://doi.org/10.1007/3-540-45449-7_12__In Proceedings of the 1st International Workshop on Embedded Software, 2211:166–84. ACM, 2001.https://doi.org/10.1007/3-540-45449-7_12 .
LibreCat: https://research-explorer.ista.ac.at/record/4479
DOI: 10.1007/3-540-45449-7_12

Henzinger, Thomas A, ed. EMSOFT: Embedded Software. Vol. 2211. ACM, 2001.https://doi.org/10.1007/3-540-45449-7 .
LibreCat: https://research-explorer.ista.ac.at/record/4449
DOI: 10.1007/3-540-45449-7