François Bry Bernhard Lorenz Hans Jürgen Ohlbach Martin Roeder Marc Weinberger 117-122 2008 ICDS http://doi.ieeecomputersociety.org/10.1109/ICDS.2008.20 conf/icds/2008 db/conf/icds/icds2008.html#BryLORW08