Model Checking Software by Patrick Godefroid