UppAal doc.