An experimental investigation of software diversity in a fault-tolerant avionics application | IEEE Conference Publication | IEEE Xplore