The RobotML modelling language documentation is available on this website.