Teaching CPS foundations with contracts

@INPROCEEDINGS{DBLP:conf/cpsed/Platzer13,
	pdf = {pub/CPSFEd.pdf},
	slides = {pub/CPSFEd-slides.pdf},

  author    = {Andr{\'e} Platzer},
  title     = {Teaching {CPS} Foundations With Contracts},
  year      = {2013},
  booktitle = {CPS-Ed},
  longbooktitle = {First Workshop on Cyber-Physical
               Systems Education},
  pages     = {7-10},
  eprint    = {https://cps-vo.org/file/7247/download/19327},
}```