Synchronous observers and the verication of reactive systems (1993)

by N Halbwachs, F Lagnier, P Raymond
Venue:Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Workshops in Computing