Accelerated fault simulation by propagating disjoint fault-sets. - Shigeharu Teshima; Naoya Chujo; Noriyoshi Sano; Hiroshi Nagase; Mitsuharu Takigawa (FTCS, 1988)