@article{issad2018modelingcbtc,
author	=	{M\'elissa Issad and Le{\"i}la Kloul and Antoine Rauzy and Karim Berkani},
title	=	{Modeling the CBTC Railway System of Siemens with ScOLa},
journal	=	{International Journal of Intelligent Transportation Systems Research},
volume	=	{16},
number	=	{3},
month	=	{September},
pages	=	{163--172},
publisher	=	{Springer},
year	=	{2018},
doi	=	{10.1007/s13177-017-0146-2},
pdffile	=	{IssadKloulRauzyBerkani2018-ModelingCBTC.pdf}
}