Click auotomata and temporal logic.pdf link to view the file.