Hierarchical hybrid modeling of embedded systems (2001)

by R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, P Mishra, G Pappas, O Sokolsky
Venue:In Embedded Software (T. Henzinger and