How to prove hybrid systems and why that matters

@INPROCEEDINGS{DBLP:conf/iccse/Platzer15,
	pdf = {pub/iccse15.pdf},

  author    = {Andr{\'e} Platzer},
  title     = {How to Prove Hybrid Systems and Why That Matters},
  booktitle = {ICCSE},
  longbooktitle={2015 International Conference on Complex Systems Engineering (ICCSE)},
  year      = {2015},
  pages     = {},
  doi       = {10.1109/ComplexSys.2015.7385983},
}```