SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. - 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 (FTCS, 1993)