How to prove hybrid systems and why that matters

@inproceedings{DBLP:conf/iccse/Platzer15,
	pdf = {pub/iccse15.pdf},
	author = {['André 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}
}