Model of real-time system