Author: TACAS 2010 (2010 Paphos, Cyprus)