Architecture and Conceptual Formalization of Cyber-Mission Operations | IEEE Conference Publication | IEEE Xplore