In search of effective diversity: a six-language study of fault-tolerant flight control software | IEEE Conference Publication | IEEE Xplore