Rajeev Alur Thao Dang Joel M. Esposito Yerang Hur Franjo Ivancic Vijay Kumar Insup Lee Pradyumna Mishra George J. Pappas Oleg Sokolsky Hierarchical modeling and analysis of embedded systems. 11-28 2003 91 Proceedings of the IEEE 1 db/journals/pieee/pieee91.html#AlurDEHIKMPS03