XTG-an engineering approach to modelling and analysis of real-time systems | IEEE Conference Publication | IEEE Xplore