https://123dok.net/document/dzxd3pny-uppaal-tiga-timed-games-for-everyone.html