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.

RCM de Rooij, J van Katwijk (1999), An approach towards formal verification of object-oriented real-time systems, In RTCSA'99: proceedings p.474-483, IEEE.

JBF Mulder, VE van Reijswoud (1999), BPR: van hype naar selectieve toepassing, In Automatisering Gids p.21-21.

JK Kyaruzi, J van Katwijk (1999), Beyond components-connections-constraints: dealing with software architecture difficulties, A Rawlinson (Eds.), In Proceedings ASE 1999 p.235-242, IEEE.

VE van Reijswoud, JBF Mulder (1999), Bridging the gap between information modelling and business modelling for ISD, J Zupancic, W Wojtkowski, WG Wojtkowski, S Wrycza (Eds.), In Evolution and challenges in system development: proceedings p.317-330, Kluwer Academic Publishers.

VE van Reijswoud, JBF Mulder, JLG Dietz (1999), Communicative action-based business process and information systems modelling with DEMO, In Information Systems Journal: an international journal promoting the study and practice of information systems Volume 9 p.117-138.

J van Katwijk, J Zalewski (1999), Experiences with an introductory real-time software course at Delft University of Technology, J Nawrocki (Eds.), In Proceedings p.24-29, IEEE.

RCM de Rooij (1999), Experiments in using model checking for schedulability analysis, M Boasson, JA Kaandorp, JFM Tonino, MG Vosselman (Eds.), In ASCI'99: proceedings p.158-164, Advanced School for Computing and Imaging.

RF Lutje Spelberg, RCM de Rooij, WJ Toetenel (1999), Experiments with parametric verification of real-time systems, B Werner (Eds.), In Proceedings p.123-131, IEEE.

K Brink, J van Katwijk, WJ Toetenel, J Zalewski (1999), H-astral and its use in the development of real-time control systems, AH Frigeri, WA Halang, SH Son (Eds.), In WRTP'99: preprint proceedings. ARTDB-99: preprint proceedings p.123-128, International Federation of Automatic Control.