Author: TACAS 2008 (2008 Budapest, Hungary)