Modelling and Analysis of Real Time Systems Kim Guldstrand Larsen using UPPAAL2k UCb Kim G. Larsen Hybrid & Real Time Systems Plant Continuous Controller Program Discrete…