Modeling and verification of randomized distributed real-time systems (1995)

by R Segala