The Esterel synchronous programming language: Design, semantics, implementation
deterministic concurrent programming language
scientific article; zbMATH DE number 78170