uppaal-4 works!