Josh Dehlinger Joanne Bechta Dugan Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. 429-434 2008 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.14 conf/qsic/2008 db/conf/qsic/qsic2008.html#DehlingerD08