Xiaowei Huang Li Jiao Weiming Lu Weak Parametric Failure Equivalences and Their Congruence Formats. 15-26 2008 CATS http://crpit.com/abstracts/CRPITV77Huang.html conf/cats/2008 db/conf/cats/cats2008.html#HuangJL08