Haverkort's paper published in Communications of the ACM
Boudewijn R. Haverkort, together with Joost-Pieter Katoen, Holger Hermanns and Christel Baier, has published a paper in the September 2010 issue of Communications of the ACM:
“Performance Evaluation and Model Checking Join Forces
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques."
More information can be found at http://cacm.acm.org/magazines/2010/9/98021-performance-evaluation-and-model-checking-join-forces