George Xenoulis Dimitris Gizopoulos Mihalis Psarakis Antonis M. Paschalis Instruction-Based Online Periodic Self-Testing of Microprocessors with Floating-Point Units. 124-134 2009 6 IEEE Trans. Dependable Sec. Comput. 2 http://dx.doi.org/10.1109/TDSC.2008.68 db/journals/tdsc/tdsc6.html#XenoulisGPP09