Josh Dehlinger Robyn R. Lutz PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. 169-193 2006 13 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-006-5469-1 db/journals/ase/ase13.html#DehlingerL06