Verifying quantitative properties of continuous probabilistic timed automata (2000)

by M Z Kwiatkowska, G Norman, R Segala, J Sproston
Venue:in Proc. 11th International Conference on Concurrency Theory (CONCUR’00), ser. Lecture Notes in Computer Science