Videos for logical foundations of cyber-physical systems

@misc{Platzer18:videos,
	ref = {Platzer18},
	refname = {Textbook},
	author = {['André Platzer']},
	title = {Videos for Logical Foundations of Cyber-Physical Systems},
	year = {2018},
	howpublished = {YouTube},
	url = {http://video.lfcps.org/}
}