Modeling reactive systems with statecharts: the statemate approach - Harel, David; Politi, Michal (McGraw-Hill, 1998)