PRISM: probabilistic model checking for performance and reliability analysis (2009)

by M Kwiatkowska, G Norman, D Parker
Venue:ACM SIGMETRICS Performance Evaluation Review