Editing State diagram (section)

==Alternative semantics==
There are other sets of semantics available to represent state diagrams. For example, there are tools for modeling and designing logic for embedded controllers.<ref>[http://www.csl.sri.com/users/tiwari/papers/stateflow.pdf Tiwari, A. (2002). Formal Semantics and Analysis Methods for Simulink Stateflow.]</ref> These diagrams, like Harel's original state machines,<ref>[http://www.fceia.unr.edu.ar/asist/harel01.pdf Harel, D. (1987). A Visual Formalism for Complex Systems. Science of Computer Programming, 231–274.]</ref> support hierarchically nested states, orthogonal regions, state actions, and transition actions.<ref>[http://drona.csa.iisc.ernet.in/~kanade/publications/symbolic_analysis_for_improving_simulation_coverage_of_simulink_stateflow_models.pdf Alur, R., Kanade, A., Ramesh, S., & Shashidhar, K. C. (2008). Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. International Conference on Embedded Software (pp. 89–98). Atlanta, GA: ACM.]</ref>