MS/sup 3/ : Micro-rollback and Self-recovery System Synthesis | IEEE Conference Publication | IEEE Xplore