Henzinger, T. A., Minea, M., &; Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer.https://doi.org/10.1007/3-540-45351-2_24 

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM.https://doi.org/10.1145/384197.384208 

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 

Henzinger, T. A., Preussig, J., &; Wong Toi, H. (2001). Some lessons from the HYTECH experience. In Proceedings of the 40th IEEE Conference on Decision and Control (Vol. 3, pp. 2887–2892). Orlando, FL, USA: IEEE.https://doi.org/10.1109/.2001.980714 

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