https://123dok.net/document/7qvp300q-verification-of-a-timed-multitask-system-with-uppaal.html