The synchronous dataflow programming language LUSTRE (1991)

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