@Inproceedings{EPTCS208.3,
  author    = {Holthusen, S\"onke and Quinton, Sophie and Schaefer, Ina and Schlatow, Johannes and Wegner, Martin},
  year      = {2016},
  title     = {Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates},
  editor    = {Aceto, Luca and Francalanza, Adrian and Ingolfsdottir, Anna},
  booktitle = {{\rm Proceedings First Workshop on}
               Pre- and Post-Deployment Verification Techniques,
               {\rm Reykjav\'ik, Iceland, 4th June 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {208},
  publisher = {Open Publishing Association},
  pages     = {31-45},
  doi       = {10.4204/EPTCS.208.3},
}