State Chart XML (SCXML): State Machine Notation for Control Abstraction - View it on GitHub