Slide 1 1 Statecharts for the many: Algebraic State Transition Diagrams Marc Frappier GRIL – Groupe de recherche en ingénierie du logiciel Slide 2 2 Plan Statecharts and…