A study about instrument fault detection and analytical redundancy applied to a satellite launcher flight control system | IEEE Conference Publication | IEEE Xplore