Time and probability in formal design of distributed systems (1994)

by H A Hansson
Venue:Real-Time Safety Critical Systems. Elsevier Science Inc