De Alfaro, L., &; Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM.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, T. A., Horowitz, B., &; Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM.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, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM.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