A component-based hybrid systems verification and implementation tool in KeYmaera X (tool demonstration)

@inproceedings{DBLP:conf/cyphy/MullerMSP18,
	pdf = {pub/KeYmaeraX-component.pdf},
	author = {['Andreas Müller', 'Stefan Mitsch', 'Wieland Schwinger', 'André Platzer']},
	title = {A Component-Based Hybrid Systems
               Verification and Implementation Tool
               in KeYmaera X (Tool Demonstration)},
	booktitle = {Cyber Physical Systems.
               Model-Based Design - 8th International Workshop,
               CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy,
               October 4-5, 2018,
               Revised Selected Papers},
	pages = {91–110},
	year = {2018},
	doi = {10.1007/978-3-030-23703-5_5},
	editor = {['Roger D. Chamberlain', 'Walid Taha', 'Martin Törngren']},
	series = {LNCS},
	volume = {11615},
	publisher = {Springer}
}