Modeling reactive systems with statecharts by David Harel | Menrva Books | MenrvaBooks