harel-etal-2005.pdf