@article{issad2018reverseengineering,
author	=	{M\'elissa Issad and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{Scenario-Oriented Reverse Engineering of Complex Railway System Specifications},
journal	=	{Journal of Systems Engineering},
publisher	=	{Wiley Online Library},
volume	=	{21},
number	=	{2},
year	=	{2018},
month	=	{March},
pages	=	{91--104},
doi	=	{10.1002/sys.21413},
pdffile	=	{IssadKloulRauzy2018-ScenarioOrientedReverseEngineering.pdf}
}