@inproceedings{issad2016specifications,
author	=	{M\'elissa Issad and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{Sp\'ecification et analyse de syst\'emes ferroviaires \`a l'aide d'un langage de sc\'enarios},
booktitle	=	{Actes du Congr\`es Lambda-Mu 20 (actes \'electroniques)},
publisher	=	{Institut pour la Ma{\^\i}trise des Risques (IMdR)},
year	=	{2016},
address	=	{Saint-Malo, France},
isbn	=	{978-2-35147-043-5},
doi	=	{10.4267/2042/61808}
}