Cyber-Physical Systems: Modeling and Simulation