Dr. Vered Gafni – Real time systems development by the formal approach 1 The Design Language of Statecharts.