TERPS: the embedded reliable processing system. - Hongxia Wang; Samuel Rodríguez; Cagdas Dirik; Amol Gole; Vincent Chan; Bruce L. Jacob (ASP-DAC, 2005)