Foundations of cyber-physical systems

@misc{FCPS13,
	pdf = {course/fcps13/fcps13.pdf},
	ref = {Platzer18},
	refname = {textbook},
	author = {['André Platzer']},
	title = {Foundations of Cyber-Physical Systems},
	year = {2013},
	howpublished = {Lecture Notes 15-424/624,
               Carnegie Mellon University},
	url = {https://lfcps.org/course/fcps13/fcps13.pdf}
}