Modelling and verification of randomized distributed real time systems (1995)

by R Segala