Research conducted under this task is aimed at compressing product development and deployment time by enabling the foundry-style model of design and manufacturing of complex, heterogeneous, and physically-coupled cyber-electromechanical systems in aerospace and defense. The main concept is to create a meta-representation of a system capable of capturing the detailed system design at varying levels of functional and logical abstraction; the system should be designed and verified entirely independent of ...