SafeRobots: A model-driven Framework for developing Robotic Systems | IEEE Conference Publication | IEEE Xplore