A Simulation Environment for the On-Line Monitoring of a Fault Tolerant Flight Control Computer | IEEE Conference Publication | IEEE Xplore