A Model-based Approach to the Development and Verification of Robotic Systems for Competitions | IEEE Conference Publication | IEEE Xplore