The MSP.RTL real-time scheduler synthesis tool. - Aloysius K. Mok; Duu-Chung Tsou; Ruud C. M. de Rooij (RTSS, 1996)

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

An Approach Towards Formal Verification of Object Oriented Real-Time Systems. - Ruud C. M. de Rooij; Jan van Katwijk (RTCSA, 1999)

Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. - Jan van Katwijk; Ruud C. M. de Rooij; Sylvia Stuurman; Hans Toetenel (Parallel Distributed Comput. Pract., 1999)

Specification of Real-Time Systems in UML. - Ella E. Roubtsova; Jan van Katwijk; W. J. Toetenel; Cornelis Pronk; Ruud C. M. de Rooij (MTCS, 2000)

Transformation of UML Specification to XTG. - Ella E. Roubtsova; Jan van Katwijk; Ruud C. M. de Rooij; Hans Toetenel (Ershov Memorial Conference, 2001)

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