Teaching cyber-physical systems with logic

@unpublished{LoosP14:TeachCPS,
	pdf = {pub/TeachCPS.pdf},
	author = {['Sarah M. Loos', 'André Platzer']},
	title = {Teaching Cyber-Physical Systems with Logic},
	year = {2014},
	note = {Manuscript}
}