The synchronous data ow programming language lustre (1991)

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