Stav dette: Hardware fault insertion and instrumentation system : mechanization and validation ; final report / J.W. Benson.