Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications | IEEE Conference Publication | IEEE Xplore