Dependability of software of unknown pedigree: Case studies on unmanned aircraft systems | IEEE Conference Publication | IEEE Xplore