Fixed uppaal backend