An overview of fault models and testing approaches for reversible logic | IEEE Conference Publication | IEEE Xplore