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