A model based design framework for safety verification of a semi-autonomous inspection drone | IEEE Conference Publication | IEEE Xplore