Verifying quantitative properties of continuous probabilistic timed automata (2000)

by M Kwiatkowska, G Norman, R Segala, J Sproston
Venue:In Proc. 11th International Conference on Concurrency Theory (CONCUR’00), LNCS