Uppaal/detox-edit