On probabilistic model checking (1996)

by Marta Kwiatkowska, Gethin Norman, David Parker