Operating Rules and Interoperability in Trans-National High-Speed Rail

This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.