@inproceedings {85,
	title = {Formal verification of a gain scheduling control scheme},
	booktitle = {Mediterranean Conference on Control and Automation (MED)},
	year = {2017},
	publisher = {IEEE},
	organization = {IEEE},
	doi = {10.1109/MED.2017.7984128},
	author = {Pablo Ord{\'o}{\~n}ez and Andrew R. Mill and Tony J. Dodd and Jun Liu}
}
