ibm streams processing language : analyzing big data in motion .
The synchronous dataflow programming language LUSTRE