Modeling reactive systems with statecharts: the statemate approach by Harel, David, Politi, Michal 0 Type: Book