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{\"{u}}ller and
               Stefan Mitsch and
               Wieland Schwinger and
               Andr{\'{e}} 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 and
               Walid Taha and
               Martin T{\"{o}}rngren},
  series    = {LNCS},
  volume    = {11615},
  publisher = {Springer},
}```