https://123dok.net/document/q5m3wrww-quantitative-behaviors-linear-time-logic-fo-ltl-rlin.html