Forward and backward simulations for timing-based systems, in: Real-Time: Theory in Practice (2003)

by N A Lynch, F Vaandrager
Venue:in: Lecture Notes in Comput. Sci