A survey on reactive programming
The synchronous dataflow programming language LUSTRE