Verification Methodology for Discrete Event Simulation Models of Personnel in the Canadian Armed Forces | IEEE Conference Publication | IEEE Xplore