Dependability of Software of Unknown Pedigree: Case studies on unmanned aircraft systems | IEEE Conference Publication | IEEE Xplore