Hierarchical modeling and analysis of embedded systems. (2002)

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