Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and CertificationThierry Lecomte, Ralf Pinger, Alexander Romanovsky · First published 2016Open the Tome
