Specification and Analysis of Stochastic Real-Time Systems (2002)

by M Bravetti