Click model_checking.pdf link to view the file.