1. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
2. Baouya, A., Bennouar, D., Ait Mohamed, O., Ouchani, S.: On the probabilistic verification of time constrained sysml state machines. In: Fujita, H., Guizzi, G. (eds.) Intelligent Software Methodologies, Tools and Techniques, Communications in Computer and Information Science, vol. 532, pp. 425–441. Springer International Publishing (2015)
3. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Formal Methods for the Design of Real-Time Systems, pp. 200–236 (2004)
4. Birolini, A.: Reliability engineering: theory and practice. Basic Concepts, Quality and Reliability (RAMS) Assurance of Complex Equipment and Systems, pp. 1–24. Springer, Berlin (2014)
5. Calinescu, R., Ghezzi, C., Johnson, K., Pezze, M., Rafiq, Y., Tamburrelli, G.: Formal verification with confidence intervals to establish quality of service properties of software systems. IEEE Trans. Reliab. 99, 1–19 (2015)