@inproceedings{chabot2000miniplant,
author	=	{Jean-Luc Chabot and Yves Dutuit and Antoine Rauzy and Jean-Pierre Signoret},
title	=	{{MINIPLANT}, un cas p\'edagogique de S\^uret\'e de Fonctionnement},
booktitle	=	{Acte du congr\`es LambdaMu'12},
pages	=	{199--204},
year	=	{2000}
}