The synchronous data ow programming language lustre (1991)

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