Interfacing industrial robots using Realtime Primitives
The Esterel Synchronous Programming Language: Design, Semantics, Implementation