C ANDRÉ, H Boufaied - IDPT-2000 (Integrated Design and …, 2000 - www-sop.inria.fr
Control-dominated systems, like controllers, are reactive systems often subject to real-time
constraints. The programming style adopted for these applications is rather special: event-or …