Mehrdad Mojtahedi Walter Geisselhardt New methods for parallel pattern fast fault simulation for synchronous sequential circuits. 2-5 1993 conf/iccad/1993 ICCAD http://doi.acm.org/10.1145/259794.259795 db/conf/iccad/iccad1993.html#MojtahediG93