@inproceedings{issad2015cbtc,
author	=	{M\'elissa Issad and Le{\"i}la Kloul and Antoine Rauzy and Karim Berkani},
title	=	{Modeling the CBTC railway system with SCOLA},
booktitle	=	{Proceedings of the 22th ITS World Congress},
publisher	=	{Ertico - ITS Europe},
address	=	{Bordeaux, France},
month	=	{October},
year	=	{2015}
}