https://123dok.org/document/y4wjl27v-universit-magistrale-informatica-lectures-verifica-temporal-lecture-continued.html