@InProceedings{ChaEtAl-SEFM-16,
  author = {Champion, Adrien and Gurfinkel, Arie and Kahsai, Temesghen and Tinelli, Cesare},
  editor = {De Nicola, Rocco and K{\"u}hn, Eva},
  title = {{CoCoSpec}: A Mode-Aware Contract Language for Reactive Systems},
  bookTitle = {Proceedings of the 8th International Conference on Software Engineering and Formal Methods, Vienna, Austria},
  year = 2016,
  publisher = {Springer},
  pages = {347--366},
  series = {Lecture Notes in Computer Science},
  volume =  9763,
  doi = {10.1007/978-3-319-41591-8_24}
}