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', 'Marco Gario', 'Christof J. Budnik', 'Michael Golm', 'André 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', 'Thierry Lecomte', 'Alexander Romanovsky']},
	volume = {10598},
	doi = {10.1007/978-3-319-68499-4_12},
	series = {LNCS},
	publisher = {Springer}
}