@inproceedings{Holthusen:PrePost:2016,
	author = {Holthusen, S{{\"o}}nke and Quinton, Sophie and Schlatow, Johannes and Sch{{\"a}}fer, Ina and Wegner, Martin},
	booktitle = {Pre- and Post-Deployment Verification Techniques (PrePost)},
	title = {{Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates}},
	year = {2016},
	MONTH={june},
	address = {Reykjavik, Iceland},
	ibrauthors = {wegner},
	ibrgroups = {cm},
	ibrprojects	= {ccc},
}