Automated Technology for Verification and Analysis - Liu, Zhiming; Kanade, Takeo; Ravn, Anders P.; Kittler, Josef (Springer Berlin Heidelberg, 2009)