XTG-an engineering approach to modelling and analysis of real-time systems. - Marcel Ammerlaan; Ronald F. Lutje Spelberg; W. J. Toetenel (ECRTS, 1998)

Partition Refinement in Real-Time Model Checking. - Ronald F. Lutje Spelberg; Hans Toetenel; Marcel Ammerlaan (FTRTFT, 1998)