Hierarchical modeling and analysis of embedded systems (2003)

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