Gerd Behrmann Alexandre David Kim Guldstrand Larsen John Håkansson Paul Pettersson Wang Yi Martijn Hendriks 125-126 2006 conf/qest/2006 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2006.59 db/conf/qest/qest2006.html#BehrmannDLHPYH06