DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees. - Josh Dehlinger; Meredith Humphrey; Lada Suvorov; Prasanna Padmanabhan; Robyn R. Lutz (ICSE Companion, 2007)