An Operational Semantics for Stateflow.

Grgoire Hamon, John M. Rushby

Browse the full FASE paper archive.