Syndeia and Stateflow

See the section