A model-driven tool-chain for developing robotic systems