Removed Uppaal backend