Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky <br/><br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 

 -  Springer  Springer  2017 
<br/><br/><label>ISBN: </label>9783319684994 
<br/><br/><label>Source: </label>EBOOK