Model Checking Software by Matthew Dwyer & M.B. Dwyer