Model checking of security properties: A case study on Human-Robot Interaction processes | IEEE Conference Publication | IEEE Xplore