@inproceedings{inproceedings, title  = {{A model based design framework for safety verification of a semi-autonomous inspection drone}},

 publisher = {{IEEE}},

 url = {{http://eprints.whiterose.ac.uk/103608/ }},

 year = {{-0001}},

 month = {{11}},

 author = {{McAree O and Aitken JM and Veres SM}},

 doi = {{10.1109/control.2016.7737551}},

 journal = {{2016 UKACC 11th International Conference on Control (CONTROL)}},

 note = {{Accessed on 2024/12/25}}}