Formal verification of train control with air pressure brakes

@INPROCEEDINGS{DBLP:conf/rssrail/MitschGBGP17,
	pdf = {pub/trainairbrake.pdf},
	slides = {pub/trainairbrake-slides.pdf},

  author    = {Stefan Mitsch and
               Marco Gario and
               Christof J. Budnik and
               Michael Golm and
               Andr{\'e} Platzer},
  title     = {Formal Verification of Train Control with
               Air Pressure Brakes},
  booktitle = {RSSRail},
  longbooktitle = {RSSRail 2017: Reliability, Safety,
               and Security of Railway Systems},
  year      = {2017},
  pages     = {173-191},
  editor    = {Alessandro Fantechi and
               Thierry Lecomte and
               Alexander Romanovsky},
  volume    = {10598},
  doi       = {10.1007/978-3-319-68499-4_12},
  series    = {LNCS},
  publisher = {Springer},
}```