Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems. Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
LibreCat: https://research-explorer.ista.ac.at/record/4477
DOI: 10.1007/3-540-45351-2_24

Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems. ACM; 2001:64-72. doi:10.1145/384197.384208
LibreCat: https://research-explorer.ista.ac.at/record/4478
DOI: 10.1145/384197.384208

Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:166-184. doi: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 TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Proceedings of the 40th IEEE Conference on Decision and Control. Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
LibreCat: https://research-explorer.ista.ac.at/record/4475
DOI: 10.1109/.2001.980714

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