An Empirical Study of Flight Control System Model Checking Integrated with FMEA | IEEE Conference Publication | IEEE Xplore