The synchronous programming language lustre (0)

by N Halbwachs, P Caspi, D Pilaud
Venue:In Proc IEEE [1991