Software fault tolerance for a flight control system | IET Conference Publication | IEEE Xplore