C. Béoumes Karama Kanoun Martine Aguera Jean-Claude Laprie Jean Arlat Sylvain Metge S. Bachmann Jorge Moreira de Souza C. Bourdeau David Powell J.-E. Doucet P. Spiesser SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. 668-673 1993 FTCS db/conf/ftcs/ftcs93.html#BeoumesKALAMBS93