Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky. Generating embedded software from hierarchical hybrid models. In Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03). San Diego, California, USA, June 11-13, 2003. pages 171-182, ACM, 2003. [doi]
Abstract is missing.