StreamIt: A Language for Streaming Applications
The Esterel Synchronous Programming Language: Design, Semantics, Implementation