An operational semantics for stateflow (0)

by G Hamon, J Rushby
Venue:Int. J. Softw. Tools Technol. Transf