Simulation techniques for proving properties of real-time systems (1995)

by N Lynch
Venue:Advances In Real-Time Systems, chapter 13