https://123dok.org/document/q05pojlg-guided-tour-interval-temporal-logics-lecture-languages-expressiveness.html