Modeling and verification of randomized distributed realtime systems (1995)

by R Segala