Synchronous programming of reactive systems. The Kluwer international series (1993)

by N Halbwachs
Venue:in Engineering and Computer Science