modelling and analysis of real-time embedded systems