Applicable modelling, verification and analysis techniques for real-time systems | IET Conference Publication | IEEE Xplore