Synchronous observers and the verification of reactive systems. (1994)

by N Halbwachs, F Lagnier, P Raymond
Venue:In: Algebraic Methodology and Software Technology (AMAST93). Workshops in Computing.