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