Automated Technology for Verification and Analysis - Graf, Susanne; Kanade, Takeo; Zhang, Wenhui; Kittler, Josef (Springer Berlin Heidelberg, 2006)