@incollectionraey, 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} @COMMENTBibtex file generated on