Cyber & formal methods publications December 1, 2009 Conference PaperOntologies and Tools for Analyzing and Synthesizing LVC Confederations SRI International December 1, 2009 ↓ View online Share this