The synchronous data-flow programming language LUSTRE (1991)

by N Halbwachs, P Caspi, P Raymond, D Pilaud
Venue:In Proc. of the IEEE