Uppaal model updated system declaration