Author: TACAS 2007 (2007 Braga, Portugal)