Combining robotics component-based model-driven development with a model-based performance analysis | IEEE Conference Publication | IEEE Xplore