Time and Probability in Formal Design of Distributed Systems, volume 1 of Real-Time Safety Critical Systems (1994)

by H Hansson