Verifying quantitative properties of continuous probabilistic timed automata (2000)

by M Kwiatkowska, G Norman, R Segala, J Sproston
Venue:Proc. CONCUR 2000 - Concurrency Theory. Volume 1877 of Lecture Notes in Computer Science