Safe-By-Design Digital Twins for Human-Robot Interaction: A Use Case for Humanoid Service Robots | IEEE Conference Publication | IEEE Xplore