Paul L. Graziani Addressing the challenges of aerospace and defense initiatives using software analysis tools. 3-4 2002 conf/wsc/2002 Winter Simulation Conference http://doi.acm.org/10.1145/1030453.1030455 db/conf/wsc/wsc2002.html#Graziani02