5Béounesc C, Aguéra M, Arlatj J, et al. SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems [A] . Proceedings of the 23rd International Symposium on Fault-Tolerant Computing (FTCS'23) [C].Toulouse (France): IEEE Press, 1993. 668-673.