Synchronous Observers and the Verification of Reactive Systems (1994)

by N Halbwachs, F Lagnier, P Raymond
Venue:In Algebraic Methodology and Software Technology (AMAST’93