engineering for automotive systems : a roadmap .
The Esterel Synchronous Programming Language: Design, Semantics, Implementation