J. Duane Northcutt The design and implementation of fault insertion capabilities for ISPS. 197-209 1980 DAC http://doi.acm.org/10.1145/800139.804529 conf/dac/1980 db/conf/dac/dac1980.html#Northcutt80