Specifying and Synthesizing Human-Robot Handovers | IEEE Conference Publication | IEEE Xplore