Integrated architectural modeling and analysis for high-assurance command and control system design | IEEE Conference Publication | IEEE Xplore