Incremental Component-Based Construction and Verification of a Robotic System