@inproceedings{rauzy2006evaluationsil,
author	=	{Antoine Rauzy and Yves Dutuit and Jean-Pierre Signoret},
title	=	{\'Evaluation des ``Safety Integrity Levels'' par arbres de d\'efaillance},
booktitle	=	{Actes du congr\`es LambdaMu'15 (actes \'electroniques)},
editor	=	{L. Magnes},
publisher	=	{Metratech pub.},
month	=	{October},
year	=	{2006}
}