Detecting errors using multi-cycle invariance information | IEEE Conference Publication | IEEE Xplore