https://123dok.net/document/q5m0or33-td-introduction-en-logique-temporelle-linéaire.html