About the authors

Eindhoven University of Technology, the Netherlands (TU/e)

J.C.M. Baeten

Jos Baeten is full professor of Formal Methods in the division of Computer Science of Eindhoven University of Technology. He received an MSc degree in Mathematics in 1978, with honors, from Utrecht University, and MSc and PhD degrees in Mathematical Logic in 1983 and 1985 from the University of Minnesota in Minneapolis.

» Go to the homepage of this author

T. Basten

photograph

Twan Basten is full professor of Computational Models in the department of Electrical Engineering at the Eindhoven University of Technology and Research Fellow at the Embedded Systems Institute, both located in Eindhoven, the Netherlands. He received an MSc degree in Computing Science in 1993, with honors, and a PhD degree in Computing Science in 1998, both from the TU/e.

» Go to the homepage of this author

M.A. Reniers

photograph Michel Reniers is assistant professor in the Design and Analysis of Systems group in the division of Computer Science of Eindhoven University of Technology. He received an MSc degree in Computing Science in 1993 and a PhD degree in Computing Science in 1999, both from TU/e.

» Go to the homepage of this author