Automatic veri of quantitative properties of continuous probabilistic real-time automata (2000)

by M Kwiatkowska, G Norman, R Segala, J Sproston