Model-Based Design of Defense Cyber-Physical Systems to Analyze Mission Effectiveness and Network Performance | IEEE Journals & Magazine | IEEE Xplore