1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability, and performance analysis of extended AADL models. The Computer Journal (March 2010), doi:10.1093/com
3. Lecture Notes in Computer Science;M. Bozzano,2010
4. Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press, Boca Raton (2010)
5. Grunske, L.: Specification patterns for probabilistic quality properties. In: Int. Conf. on Software Engineering (ICSE), pp. 31–40. ACM, New York (2008)