@InProceedings{BBCP13,
  author =       "Ji\v{r}\'{\i} Barnat and Nikola Bene\v{s} and Ivana {\v{C}}ern\'{a} and Zuzana Petruchov\'{a}",
  title =        "{DCCL: Verification of Component Systems with Ensembles}",
  booktitle =    "Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering",
  series =       "CBSE '13",
  year =         "2013",
  isbn =         "978-1-4503-2122-8",
  location =     "Vancouver, British Columbia, Canada",
  pages =        "43--52",
  numpages =     "10",
  url =          "http://doi.acm.org/10.1145/2465449.2465453",
  doi =          "10.1145/2465449.2465453",
  acmid =        "2465453",
  publisher =    "ACM",
  address =      "New York, NY, USA",
  keywords =     "adaptation, component-based development, ensemble, formal verification, specification language"
}