J van Katwijk, J Zalewski (2000), Parallel and distributed real-time systems: an introduction, In Parallel and Distributed Computing Practices Volume 2 p.1-4.

WJ Toetenel, RF Lutje Spelberg, G Bandini (2000), Parametric verification of the IEEE 1394a root contention protocol using LPMC, DC Young (Eds.), In Proceedings p.207-214, IEEE.

J van Katwijk, Y Peng (2000), Performance comparison of four software architectures for distributed computations, EH D'Hollander, GR Joubert, FJ Peters, HJ Sips (Eds.), In ParCo99 proceedings p.582-589, Imperial college press.

J van Katwijk, RCM de Rooij, S Stuurman, WJ Toetenel (2000), Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm, In Parallel and Distributed Computing Practices Volume 2 p.73-88.

J van Katwijk (2000), Some observations on teaching and industry at Delft University of Technology, A Mushi, A Bijura (Eds.), In Conference proceedings p.13-21, s.n..

J van Katwijk, WJ Toetenel, AEK Sahaoui, E Anderson, J Zalewski (2000), Specification and verification of a safty shell with statcharts and extended timed graphs, F Koornneef, van der M Meulen (Eds.), In SAFECOMP 2000 proceedings p.37-52, Springer.

E Roubtsova, J van Katwijk, WJ Toetenel, C Pronk, RCM de Rooij (2000), Specification of real-time systems in UML, In Electronic Notes in Theoretical Computer Science Volume 39 p.1-13.

JK Kyaruzi, J van Katwijk (2000), Towards explicit representation of architectural design assumption, In ASE 2000 proceedings p.249-252, IEEE.

JBF Mulder, JLG Dietz (1999), 'U doet dus iets met computers': het benoemen van IT-functies en -bedrijven is vaak een groot probleem, In Automatisering Gids p.19-19.

T Vardanega, J van Katwijk (1999), A software process for the construction of predictable on-board embedded real-time systems, In Software: Practice and Experience Volume 29 p.235-266.