MS3: Micro-Rollback and Self-Recovery System Synthesis. - Byung Wook Jeon; Chidchanok Lursinsap (VLSI Design, 1993)