StreamIt: A Language for Streaming Applications
The synchronous dataflow programming language LUSTRE