Calculating restart states using reset transitions | IEEE Conference Publication | IEEE Xplore