1. Liu, Z., Joseph, M.: Verification of fault tolerance and real time. In: Proceedings of Annual Symposium on Fault Tolerant Computing, Sendai, pp. 220–229 (1996)
2. Hitt, E.F., Mulcare, D.: The fault tolerant avionics. In: Spitzer, C.R. (ed.) Digital Avionics Handbook, 2nd edn, chapter 28(CRC press LLC, Boca Raton 2007)
3. Basu, D., Prasad Rao, K.V.S.S., Varaprasad, S.V.L.A., Kurien, T., Jayasri, R., Bharathi, M.: A fault tolerant computer systems for Indian satellite launch vehicle programme. Sadhana, 11, 221–231 (1987)
4. Cooper, A.E., Chow, W.T.: Development of on-board space computer systems. IBM J. Res. Develop 20, 5–19 (1976)
5. Laprie, J.C.: Dependable computing and fault tolerance: concepts and terminology. In: Proceedings of Fault Tolerant Computing FTCS-15, 2–11 (1985)