Automated alignment of specifications of everyday manipulation tasks | IEEE Conference Publication | IEEE Xplore