Faryaaz Kassam Kostas Kontogiannis 76-88 2004 conf/step/2004 STEP http://doi.ieeecomputersociety.org/10.1109/STEP.2004.15 db/conf/step/step2004.html#KassamK04