Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore