Modeling reactive systems with statecharts | lit.salon