@inproceedings{prosvirnova2012gts,
author	=	{Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Syst\`eme de Transitions Gard\'ees : formalisme pivot de mod\'elisation pour la S\^uret\'e de Fonctionnement},
booktitle	=	{Actes du Congr\`es Lambda-Mu 18},
editor	=	{Jean-Fran\c{c}ois Barbet},
month	=	{Octobre},
year	=	{2012}
}