uppaal2jetracer documentation