Kersten Julia; Rauh Andreas; Aschemann Harald: Verified interval enclosure techniques for robust gain scheduling controllers. In: Acta cybernetica, (24) 3. pp. 467-491. (2020)