Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics | IEEE Conference Publication | IEEE Xplore