State Chart XML (SCXML): State Machine Notation for Control Abstraction