@incollection{raey,
Author = {Damm, Werner and Finkbeiner, Bernd},
Title = {Automatic Compositional Synthesis of Distributed Systems},

Year = {2014},
Pages = {179-193},
Publisher = {Springer International Publishing},
Series = {Lecture Notes in Computer Science},
Booktitle = {FM 2014: Formal Methods},
Doi = {10.1007/978-3-319-06410-9_13},
type = {incollection}
}
@COMMENT{Bibtex file generated on }