Interfacing industrial robots using Realtime Primitives
The synchronous dataflow programming language LUSTRE