Removed UPPAAL