H. Q. Thắng and V. H. Linh, “Evaluation the availability of fault-tolerent software applying rejuvenation and n-version programming techniques”., JCC, vol. 25, no. 4, pp. 333–344, May 2012.