Modeling And Co-Design Of Multi-Domain Cyber-Physical Systems