Forward and backward simulations - part II: Timing-based systems (1996)

by N A Lynch, F Vaandrager
Venue:Information and Computation