Probabilistic model checking in practice: Case studies with PRISM (2005)

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