Ordonez, P., Mills, A.R., DODD, Tony and Liu, J. (2017) Formal Verification of a Gain Scheduling Control Scheme. In: 2017 25th Mediterranean Conference on Control and Automation (MED). IEEE, Valletta, Malta. 3-6 July 2017, pp. 259-264. ISBN 978-1-5090-4533-4