ABSTRACT
Reactive systems are software systems which have the responsibility to control the state of some equipment under control (EUC): some external devices or other elements which can respond to commands from the reactive system, and whose state can be monitored by the reactive system.
