AJRM Coenen, PB Ober, H Reijmers, J van Katwijk (2001), GNSS extensions: intermediate interference robustness report deliverable D7 for shine, Delft University of Technology.

J van Katwijk, J Zalewski (2001), Parallel and distributed real-time systems: an introduction, S Boriotti, D Dennis (Eds.), In Parallel and distributed real-time systems p.1-6, Nova Science Publishers.

RF Lutje Spelberg, WJ Toetenel (2001), Parametric real-time model checking using splitting trees, In Nordic Journal of Computing Volume 8 p.88-120.

J van Katwijk, JJ Schwartz, J Zalewski (2001), Practice of real-time software architecture: Collider, satellites, and tanks combined, HB Verbruggen, CW Chan, RA Vingerhoeds (Eds.), In Proceedings p.550-559, IFAC.

RF Lutje Spelberg, WJ Toetenel (2001), Real-Time model checking based on splitting, JCM Baeten, ... [et Al] (Eds.), In Proceedings p.56-70, s.n..

J van Katwijk, ? ... [et Al] (2001), Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm, S Boriotti, D Dennis (Eds.), In Parallel and distributed real-time systems p.105-126, Nova Science Publishers.

A Al-Daraiseh, J Zalewski, WJ Toetenel (2001), Software verification in ground transportation systems, N Callaos, S Long, M Loutfi (Eds.), In ISAS SCI 2001: proceedings p.271-276, International Institute of Informatics and Systemics.

E Boubtsova, WJ Toetenel (2001), Specification of Real-Time properties in UML, In Proceedings p.61-64, IEEE.

E Roubtsova, J van Katwijk, RCM de Rooij, WJ Toetenel (2001), Transformation of UML specification to XTG, In PSI'01: proceedings p.138-140, s.n..

RCM de Rooij, RF Lutje Spelberg, J van Katwijk (2000), ACL: an approach to formal verification of real time systems, van LJ Vliet, JWJ Heijnsdijk, T Kielmann, PMW Knijnenburg (Eds.), In ASCI 2000 proceedings p.335-342, Advanced School for Computing and Imaging.