Local Search in Model Checking. - A. W. Roscoe 001; Philip J. Armstrong; Pragyesh (ATVA, 2009)