"Modeling Reactive Systems With Statecharts : The Statemate Approach" - читать интересную книгу автора (David Harel, Michal Politi)