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 DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees. 49-50 2007 conf/icse/2007c ICSE Companion http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.29 db/conf/icse/icsec2007.html#DehlingerHSPL07