On the development of fault-tolerant on-board control software and its evaluation by fault injection | IEEE Conference Publication | IEEE Xplore