@inproceedings{issad2014specifications,
author	=	{M\'elissa Issad and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{A Model-Based Methodology to Formalize Specifications of Railway Systems},
booktitle	=	{Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014},
year	=	{2014},
month	=	{October},
publisher	=	{Springer Verlag},
series	=	{LNCS},
volume	=	{8822},
pages	=	{28--42},
address	=	{Munich, Germany}
}