Foundations of cyber-physical systems

@MISC{FCPS16,
	pdf = {course/fcps16/fcps16.pdf},
	ref = {Platzer18},
	refname = {textbook},

  author    = {Andr\'e Platzer},
  title     = {Foundations of Cyber-Physical Systems},
  year      = {2016},
  howpublished = {Lecture Notes 15-424/624/824,
               Carnegie Mellon University},
  url = {https://lfcps.org/course/fcps16/fcps16.pdf},
}```