James F. Davis Information systems security engineering: a critical component of the systems engineering lifecycle. [Citation Graph (0, 0)][DBLP] SIGAda, 2004, pp:13-18 [Conf]
James F. Davis The affordable application of formal methods to software engineering. [Citation Graph (0, 0)][DBLP] SIGAda, 2005, pp:57-62 [Conf]