Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics | Publicación