The MAESTRO language and its environment: specification, validation and control of robotic missions | IEEE Conference Publication | IEEE Xplore