@inproceedings{32,
  author = {Pablo o\~nez and Andrew Mill and Tony Dodd and Jun Liu},
  title = {Formal verification of a gain scheduling control scheme},
  year = {2017},
  journal = {Formal verification of a gain scheduling control scheme Primary tabs    },
  publisher = {IEEE},
  doi = {10.1109/MED.2017.7984128},
}