Zhongcheng Li, Robert K. Brayton, Yinghua Min: Efficient Identification of Non-Robustly Untestable Path Delay Faults. ITC 1997: 992-997