XML State Machine Description