TACAS 2010: Accepted Papers