uppaal2jetracer