1. . Mathworks, Semantics of Stateflow, URL http://www.ece.northwestern.edu/local-apps/matlabhelp/toolbox/stateflow/semantic.html, year=2002.
2. . Itemis, Yakindu statecharts, URL https://www.itemis.com/en/yakindu/state-machine/documentation/user-guide.
3. The boost statechart library;Parametrized States;Library,2006
4. Sismic—A python library for statechart execution and testing;Decan;SoftwareX,2020
5. Rhapsody: A complete life-cycle model-based development system;Gery,2002