Modeling and analysis of complex computer systems-the MTCCS approach. - Hans Toetenel; Ronald F. Lutje Spelberg; Sylvia Stuurman; Jan van Katwijk (ICECCS, 1996)

Analyzing Schedulability of Astral Specifications using Extended Timed Automata. - Klaas Brink; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (Euro-Par, 1997)

Experiences with analysis of formal specifications in Astral. - Klaas Brink; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (RTCSA, 1997)

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)

Automatic Analysis of Embedded Systems Specified in Astral. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (HICSS (3), 1998)

Experiments with parametric verification of real-time systems. - Ronald F. Lutje Spelberg; Ruud C. M. de Rooij; W. J. Toetenel (ECRTS, 1999)

Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. - Hans Toetenel; Ronald F. Lutje Spelberg; G. Bandini (RTCSA, 2000)

Application of Parametric Model Checking - The Root Contention Protocol. - G. Bandini; Ronald F. Lutje Spelberg; Ruud C. M. de Rooij; Hans Toetenel (HICSS, 2001)

Parametric Real-Time Model Checking Using Splitting Trees. - Ronald F. Lutje Spelberg; W. J. Toetenel (Nord. J. Comput., 2001)

Splitting Trees and Partition Refinement in Real-Time Model Checking. - Ronald F. Lutje Spelberg; W. J. Toetenel (HICSS, 2002)