Florian Deissenboeck Markus Pizka Tilman Seifert 127-136 2005 conf/step/2005 STEP http://doi.ieeecomputersociety.org/10.1109/STEP.2005.31 db/conf/step/step2005.html#DeissenboeckPS05