UppAal Tiga tip.