Changes timeout. Cf. UupAal manual section 3.1.
UupAal manual.