## Referencia Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. _Science of Computer Programming_, _8_(3), 231-274. [https://doi.org/10.1016/0167-6423(87)90035-9](https://doi.org/10.1016/0167-6423\(87\)90035-9)