1. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comp. Sci. 138, 3–34 (1995)
2. Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Proceedings of the 1st Workshop on Embedded Software (EMSOFT), LNCS 2211, pp. 14–31 (2001)
3. Alur, R., Dang, T., Esposito, J., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling and analysis of embedded systems. Proceedings of the IEEE 91(1), 11–28 (January 2003)
4. Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, LNCS 2034, pp. 33–48 (2001)
5. Berkenkötter, K., Bisanz, S., Hannemann, U., Peleska, J.: Executable HybridUML and its Application to Train Control Systems. In: Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 145–173 (September 2004)