Per visualizzare il file, fai click su questo link: 12-auotomata and temporal logic.pdf