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