"A Framework for Verification of Software with Time and Probabilities."

Marta Z. Kwiatkowska, Gethin Norman, David Parker (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics