Hongxia Wang Samuel Rodríguez Cagdas Dirik Amol Gole Vincent Chan Bruce L. Jacob TERPS: the embedded reliable processing system. 1-2 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1120886 db/conf/aspdac/aspdac2005.html#WangRDGCJ05