Nicolas Halbwachs Fabienne Lagnier Pascal Raymond Synchronous Observers and the Verification of Reactive Systems. 83-96 1993 conf/amast/1993 AMAST db/conf/amast/amast93.html#HalbwachsLR93