Professor Boudewijn Haverkort from the DACS group, together with Joost-Pieter Katoen (UT/RWTH-Aachen), Holger Hermanns (Uni Saarbruecken) and Christel Baier (TU Dresden) will be publishing in the September issue of Communications of the ACM. CACM is considered to be the "Nature/Science” of Computer Science. The article Performance evaluation and model checking join forces has been written on invitation by Moshe Vardi, editor in chief, and describes the joined forces of two important research area’s: performance analysis and model checking. These four researchers have been instrumental in the development of this new and now flourishing research area. The University of Twente has been a key player in empowering these researchers and many PhD’s and Postdoc’s who have helped them.