João P. Marques Silva Karem A. Sakallah An Analysis of Path Sensitization Criteria. 68-72 1993 ICCD db/conf/iccd/iccd1993.html#SilvaS93