GitHub repository: letimome/SimpleRobot
Description: Simple robot scxml statechart specification in scxml language