Identification of reverse-action pairs using reversibility of actions | IEEE Conference Publication | IEEE Xplore