A novel knowledge-based diagnostic system for flight control software | IEEE Conference Publication | IEEE Xplore