Simulation-based VV&A methodology for HLA federations: an example from the Aerospace industry | IEEE Conference Publication | IEEE Xplore