State Chart XML (SCXML): State Machine Notation for Control Abstraction – W3C Working Draft 6 December 2012