Videos for logical foundations of cyber-physical systems

@MISC{Platzer18:videos,
	ref = {Platzer18},
	refname = {Textbook},

  author    = {Andr\'e Platzer},
  title     = {Videos for Logical Foundations of Cyber-Physical Systems},
  year      = {2018},
  howpublished = {YouTube},
  url = {http://video.lfcps.org/}
}```