@inproceedings{issad2016incrementalspecifications,
author	=	{M\'elissa Issad and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{Incremental Modeling Methodology of Railway System Specifications},
booktitle	=	{Proceedings of the Seventh International Conference on Complex Systems Design and Management, CSDM Paris 2016},
editor	=	{Gauthier Fanmuy and Eric Goubault and Daniel Krob, Fran\c{c}ois Stephan},
publisher	=	{Springer International Publishing},
pages	=	{95--111},
isbn	=	{978-3-319-49102-8},
doi	=	{10.1007/978-3-319-49103-5-8},
year	=	{2016}
}

