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