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:Proceedings of the IEEE