The nesC language: a holistic approach to networked embedded systems
The synchronous dataflow programming language LUSTRE