Slide 1 Statecharts Slide 2 Riferimenti (1) D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming 8 (1987), pp. 231-274. D. Harel,…