Modeling Design and Synthesis of Cyber-Physical Systems