Experiences with model-centred design methods and tools in safe robotics | IEEE Conference Publication | IEEE Xplore