Model-driven robot-software design using integrated models and co-simulation | IEEE Conference Publication | IEEE Xplore