@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 2025/06/24}}}