Applications of real-time theory for CPS (1)