D.: Prism 4.0: Verification of probabilistic real-time systems (2011)

by M Kwiatkowska, G Norman, Parker
Venue:In: CAV, LNCS