Hierarchical Modeling and Analysis of Embedded Systems (2003)

by R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, I Lee, P Mishra, G J Pappas, O Sokolsky
Venue:Proc. of the IEEE