Modelling real-time constraints | IET Conference Publication | IEEE Xplore