J. Kersten, A. Rauh, and H. Aschemann, “Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers”, Acta Cybern, vol. 24, no. 3, pp. 467-491, Mar. 2020.