Automated Technology for Verification and Analysis - ATVA 2005; Kanade, Takeo; Peled, Doran; Tsay, Yih-Kuen; Kittler, Josef (Springer Berlin / Heidelberg, 2005)