An object-oriented approach to the modelling of real-time software | IET Conference Publication | IEEE Xplore