Michael G. Christel Alexander G. Hauptmann 344-354 2007 ICSC https://doi.org/10.1109/ICSC.2007.39 https://doi.ieeecomputersociety.org/10.1109/ICSC.2007.39 conf/semco/2007 db/conf/semco/icsc2007.html#ChristelH07