CoasterX: A case study in component-driven hybrid systems proof automation

@inproceedings{DBLP:conf/adhs/BohrerLCP18,
	pdf = {pub/coasterx.pdf},
	slides = {pub/coasterx-slides.pdf},
	author = {['Brandon Bohrer', 'Adriel Luo', 'Xue An Chuang', 'André Platzer']},
	editor = {['Alessandro Abate', 'Antoine Girard', 'Maurice Heemels']},
	title = {CoasterX: A Case Study in Component-Driven  Hybrid Systems Proof Automation},
	booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS
              2018, Oxford, UK, July 11-13, 2018},
	series = {IFAC-PapersOnLine},
	volume = {51},
	number = {16},
	pages = {55–60},
	publisher = {Elsevier},
	year = {2018},
	doi = {10.1016/j.ifacol.2018.08.010}
}