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