resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint