Joanne Bechta Dugan Ganesh J. Pai Hong Xu Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. 245-255 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.27 db/conf/hase/hase2007.html#DuganPX07