Electromagnetic Battle Manager Verification Case Study. - Bryan May; Mahendra Thawani; J. Stephen Skinner (MILCOM, 2014)