Cyber & formal methods publications August 1, 2011 ArticleOntologies and Tools for Analysing and Composing Simulation Confederations for the Training and Testing Domains SRI International August 1, 2011 ↓ View online Share this