@article{1442089,
      recid = {1442089},
      author = {Collart-Dutilleul, Simon,},
      title = {Operating rules and interoperability in trans-national  high-speed rail /},
      pages = {1 online resource :},
      abstract = {This book examines the problem of interoperability related  to operating rules and gives an overview of the formal  method approaches related to this subject. The book  examines the interoperability issues concerning  implementation of European Rail Traffic Management System  (ERTMS) while crossing a boarder. It also looks at the  implementing of the ERTMS and provides solutions regarding  operating rules for ERTMS lines, using formal methods and  simulation tools. The contributors will also discuss  operating rule validation and formal methods for safety  assessment. Presents modern solutions for safety and  interoperability validation; Discusses the efficiency of  different tools used at different steps of the analysing  process; Covers trackside infrastructure modelling,  signalling and operating rule analysis.},
      url = {http://library.usi.edu/record/1442089},
      doi = {https://doi.org/10.1007/978-3-030-72003-2},
}