E. Westrate and K. Panetta, in IEEE Embedded Fault Tolerant Workshop, 2000.