Author: TACAS 2006 (2006 Vienna, Austria)