State Chart XML (SCXML): State Machine Notation for Control Abstraction - W3C Working Draft 16 May 2008