Mody Lempel Sandeep K. Gupta Zero Aliasing for Modeled Faults. 1283-1295 1995 44 IEEE Trans. Computers 11 db/journals/tc/tc44.html#LempelG95 http://doi.ieeecomputersociety.org/10.1109/12.475124