Kevin Clark Ethan Singleton Stephen Tyree John Hale Strata-Gem: risk assessment through mission modeling. 51-58 2008 QoP http://doi.acm.org/10.1145/1456362.1456374 conf/ccs/2008qop db/conf/ccs/qop2008.html#ClarkSTH08