Logical foundations of cyber-physical systems

@BOOK{Platzer18,
	slides = {https://lfcps.org/lfcps/lfcps-slides.zip},
	study = {https://www.springer.com/978-3-319-63587-3},
	errata = {lfcps/lfcps-errata.txt},

  author    = {Andr{\'e} Platzer},
  title     = {Logical Foundations of Cyber-Physical Systems},
  publisher = {Springer},
  address   = {Cham},
  year      = {2018},
  isbn      = {978-3-319-63587-3},
  e-isbn    = {978-3-319-63588-0},
  doi       = {10.1007/978-3-319-63588-0},
}```