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