Teaching CPS foundations with contracts

@inproceedings{DBLP:conf/cpsed/Platzer13,
	pdf = {pub/CPSFEd.pdf},
	slides = {pub/CPSFEd-slides.pdf},
	author = {['André 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}
}