1. Lecture Notes in Computer Science;A. Basu,2010
2. Lecture Notes in Computer Science;G. Behrmann,2004
3. Bohnenkamp, H., D’Argenio, P., Hermanns, H., Katoen, J.-P.: Modest: A compositional modeling formalism for real-time and stochastic systems. Technical Report CTIT 04-46, University of Twente (2004)
4. Lecture Notes in Computer Science;M. Bozga,1998
5. Lecture Notes in Computer Science;T.A. Henzinger,2000