Forward and backward simulations for timingbased systems (1991)

by Nancy Lynch, Frits Vaandrager
Venue:In Proceedings of REX Workshop \Real-Time: Theory in Practice