Teaching cyber-physical systems with logic

@UNPUBLISHED{LoosP14:TeachCPS,
	pdf = {pub/TeachCPS.pdf},

  author    = {Sarah M. Loos and
               Andr{\'e} Platzer},
  title     = {Teaching Cyber-Physical Systems with Logic},
  year      = {2014},
  note      = {Manuscript},
}```