Simple robot scxml statechart specification in scxml language