1. Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1995)
2. Lecture Notes in Computer Science;EG Amparore,2013
3. Amparore, E.G., Donatelli, S.: MC4CSL$$^\text{TA}$$: an efficient model checking tool for CSL$$^\text{ TA }$$. In: QEST 2010, pp. 153–154. IEEE Computer Society (2010)
4. Amparore, E.G., Donatelli, S.: Efficient model checking of the stochastic logic CSLTA. Perform. Eval. 123–124, 1–34 (2018)
5. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Log. 1(1), 162–170 (2000)