6.4 Modeling, Control and Scheduling for Cyber-Physical Systems