PRISM 4.0: Verification of probabilistic real-time systems (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011)

(untitled) - Kwiatkowska, M; Norman, G; Parker, D