Computer Aided Verification - CAV (Conference); Etessami, Kousha; Kanade, Takeo; Rajamani, Sriram K.; Kittler, Josef (Springer Berlin Heidelberg, 2005)