Quantification of High Level Safety Criteria for Civil Unmanned Aircraft Systems | IEEE Conference Publication | IEEE Xplore