An operational semantics for Stateflow (2004)

by G Hamon, J Rushby
Venue:Fundamental Approaches to Software Engineering: 7th International Conference (FASE). Lecture Notes in Computer Science