XTG-an engineering approach to modelling and analysis of real-time systems.

Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel

Browse the full ECRTS paper archive.