Precursors: An Analysis System in Reliability Parallel with FAA Certification | IEEE Conference Publication | IEEE Xplore