1. Ajmone Marsan, M., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with generalized stochastic Petri nets. John Wiley & Sons, Inc. (1994)
2. Baier, C., D’Argenio, P., Groesser, M.: Partial order reduction for probabilistic branching time. Electronic Notes in Theoretical Computer Science (2006)
3. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
4. Blum, A.M., Goyal, A., Heidelberger, P., Lavenberg, S.S., Nakayama, M.K., Shahabuddin, P.: Modeling and analysis of system dependability using the system availability estimator. In: Twenty-Fourth International Symposium on Fault-Tolerant Computing, pp. 137–141. IEEE (1994)
5. Carrasco, J.A.: Failure distance based simulation of repairable fault-tolerant systems. In: Proceedings of the 5th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, pp. 351–365 (1992)