Synchronous Programming of Reactive Systems (1993)

by N Halbwachs
Venue:Series in Engineering and Computer Science