SafeRobots: A model-driven approach for designing robotic software architectures | IEEE Conference Publication | IEEE Xplore