Generating embedded software from hierarchical hybrid models (2003)

by R Alur, F Ivancic, J Kim, I Lee, O Sokolsky
Venue:In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems