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 and
              Adriel Luo and
              Xue An Chuang and
              Andr{\'{e}} Platzer},
  editor   = {Alessandro Abate and
              Antoine Girard and
              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},
}```