Fast recoverable heterogeneous quad-core lockstep architecture | IEEE Conference Publication | IEEE Xplore