Walter Kasper Jörg Steffen Yajing Zhang 261-267 2008 ICSC http://doi.ieeecomputersociety.org/10.1109/ICSC.2008.42 conf/semco/2008 db/conf/semco/icsc2008.html#KasperSZ08