uppaal4 works!