The Esterel synchronous programming language: design, semantics, implementation

Published in: Science of Computer Programming

Volume 19, Issue 2, pp. 87-152

DOI: 10.1016/0167-6423(92)90005-v