https://123dok.net/document/6zk8d18z-extending-uppaal-modeling-verification-dynamic-real-time-systems.html