https://123dok.net/document/qmjeo857-tp-nusmv-et-ltl.html