D. Siewiorek and R. Swarz, Reliable Computer Systems: Design and Evaluatuion, Digital Press, 2017.
 M. Rausand and H. Arnljot, System reliability theory: models, statistical methods, and applications, vol. 396, John Wiley & Sons, 2004.
 C. Zheng, P. Shukla, S. Wang and J. Hu, "Exploring hardware transaction processing for reliable computing in chip-multiprocessors against soft errors," in IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Austin, TX, USA, 2012.
 G. Kahe, "Reliable flight computer for sounding rocket with dual redundancy: design and implementation based on COTS parts," International Journal of System Assurance Engineering and Management, vol. 8, no. 3, pp. 560-571, 2017.
 V. Technologies, "Radiation Hardened ARM® Cortex-M0 Microcontroller," VOGARO Tech., 2017.
 X. Iturbe, B. Venu, E. Ozer and S. Das, "A Triple Core Lock-Step (TCLS) ARM® Cortex®-R5 Processor for Safety-Critical and Ultra-Reliable Applications," in 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), Toulouse, France, 2016.
 K. LaBel, M. Gates, A. Moran, P. Marshall, J. Barth, E. Stassinopoulos, C. Seidleck and C. Dale, "Commercial microelectronics technologies for applications in the satellite radiation environment," in IEEE Aerospace Applications Conference, Aspen, CO, USA, 1998.
 J.-L. Poupat, B. Leroy and T. Helfers, "TCLS ARM for Space," in DASIA (DAta Systems in Aerospace), Estonia, 2016.
 D.-W. Lee, B.-Y. Kim, W.-J. Ko and J.-W. Na, "A Study on the Triple Module Redundancy ARM processor for the Avionic Embedded System," The Journal of Advanced Navigation Technology, vol. 14, no. 1, pp. 87-92, 2010.
 J. A. Wang and Z. S. Li, "Development of flight control system Using embedded computer PC-104," in 26th International Congress of the Aeronautical Sciences, 2008.
 M. M. Daffalla, A. TagElsir and A. S. Kajo, "Hardware selection for attitude determination and control subsystem of 1U cube satellite," in International Conference on Computing, Control, Networking, Electronics and Embedded Systems Engineering (ICCNEEE) , Khartoum, Sudan, 2015.
 E. Razzaghi, "Design and qualification of on-board computer for Aalto-1 CubeSat," MASTER'S THESIS, Luleå University of Technology, 2012.
 D. Sinclair and J. Dyer, "Radiation effects and COTS parts in SmallSats," in 27th Annual AIAA/USU Conference on Small Satellites, 2013.
 G. Dirks, "Producing a Low Cost, Space Qualified Computer by Ruggedizing Commercial Computer Cards," Southwest Research Institute, Texas, 1992.
 X. P. Guide, "MicroBlaze Triple Modular Redundancy (TMR) Subsystem," Xilin Corp., 2017.
 B. J. LaMeres, S. Harkness, M. Handley, P. Moholt, C. Julien, T. Kaiser, D. Klumpar, K. Mashburn, L. Springer and G. A. Crum, "RadSat - Radiation Tolerant SmallSat Computer System," in Small Satellite Conference, 2015.
 D. Ratter, "FPGAs on Mars, Xilinx xCell Journal," Xilinx xCell Journal, vol. 50, pp. 8-11, 2004.
 Á. B. d. Oliveira, G. S. Rodrigues and F. L. Kastensmidt, "Analyzing lockstep dual-core ARM cortex-A9 soft error mitigation in freeRTOS applications," in 30th Symposium on Integrated Circuits and Systems Design: Chip on the Sands (SBCCI '17), NY, USA, 2017.
 D. Oliveira, Á. Barros, L. A. Tambara and F. L. Kastensmidt, "Exploring performance overhead versus soft error detection in lockstep dual-core arm Cortex-A9 processor embedded into Xilinx Zynq APSOC," in International Symposium on Applied Reconfigurable Computing, Springer, Cham, 2017.
 G. Kahe and M. A. Rostami, "Design and Implementation of a Reliable Flight Computer for Sounding Rocket with Dual Redundancy Based on COTS Parts," in The 4th International Reliability Engineering Conference (IREC), Tabriz, IRAN, 2016.
 Y. Yeh, "Design considerations in Boeing 777 fly-by-wire computers," in Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231), Washington, DC, USA, 1998.
 J. Wensley, L. Lamport, J. Goldberg, M. Green, K. Levitt, P. Melliar-Smith, R. Shostak and C. Weinstock, "SIFT: Design and analysis of a fault-tolerant computer for aircraft control," Proceedings of the IEEE, vol. 66, no. 10, pp. 1240-1255, Oct 1978.
 A. Hopkins, T. Smith and J. Lala, "FTMP—A highly reliable fault-tolerant multiprocess for aircraft," Proceedings of the IEEE, vol. 66, no. 10, pp. 1221-1239, 1978.
 Y. Yeh, "Triple-triple redundant 777 primary flight computer," in IEEE Aerospace Applications Conference, Aspen, CO, USA, 1998.
 J.D.Aplin, "Primary flight computers for the Boeing 777," Microprocessors and Microsystems, vol. 20, no. 8, pp. 473-478, 1997.
 A. Avizienis, M. Lyu and W. Schutz, "In search of effective diversity: a six-language study of fault-tolerant flight control software," in The Eighteenth International Symposium on Fault-Tolerant Computing, Tokyo, Japan, 1988.
 J. SHAW, H. HERZOG and K. Okubo, "Digital autonomous terminal access communication (DATAC)," in 7th Digital Avionics Systems Conference, Fort Worth, TX, 1986.
 R. E. Lyons and W. Vanderkulk, "The use of triple-modular redundancy to improve computer reliability," IBM Journal of Research and Development, vol. 6, no. 2, pp. 200-209, 1962.
 X. Iturbe, B. Venu, E. Ozer and S. Das, "A Triple Core Lock-Step (TCLS) ARM® Cortex®-R5 Processor for Safety-Critical and Ultra-Reliable Applications," in 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) , Toulouse, France, 2016.