Applications of real-time theory for CPS (2)