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

by M Bravetti