On algorithmic verification methods for probabilistic systems (1998)

by C Baier