UPPAAL: Status and Developments