uppaal_stratego_interface