Xin Feng David Lorge Parnas T. H. Tse Fault Propagation in Tabular Expression-Based Specifications. 180-183 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.115 conf/compsac/2008 db/conf/compsac/compsac2008.html#FengPT08