Adding an UppAal model