A. Rauh and J. Kersten, “From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers”, Acta Cybern, vol. 24, no. 3, pp. 509-537, Mar. 2020.