1. Gaisler, J. (2002). A portable and fault-tolerant microprocessor based on the SPARC v8 architecture. In Proceedings International Conference on IEEE, USA (pp. 409–415).
2. Longden, L., Thibodeau, C., Hillman, R., Layton, P., Williamson, G., & Dowd, M. (2002). Designing a single board computers for space using the most advanced processor and mitigation technologies. European Space Components Conference, Toulouse (pp. 313–316).
3. Carmichael, C. (2001). Triple module redundancy design techniques for virtex FPGAs. Xilinx Application Note XAPP, 197, 1–37.
4. Chen, G., Fan, D., & Wei, Z. (2010). All electronic computer interlocking system based on double 2-vote-2. China Railway Science, 31(4), 138–144 (In Chinese).
5. Zhang, B., Lu, Y., Han, J., & Wei, Z. (2009). Reliability and security analysis of double 2-vote-2 redundancy system. Journal of System Simulation, 21(1), 256–261 (In Chinese).