Syndeia and Stateflow