Smith, S.E. "What Is Control Logic?". http://www.wisegeek.com/what-is-control-logic.htm
Tiwari, A. (2002). "Formal Semantics and Analysis Methods for Simulink Stateflow Models" (PDF). http://www.csl.sri.com/users/tiwari/papers/stateflow.pdf
Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey City, NJ: ACM. pp. 164–172. CiteSeerX 10.1.1.89.8817. /wiki/CiteSeerX_(identifier)