@inproceedings(Bures_Deeco_2013,
 author       = {Tomas Bures and Ilias Gerostathopoulos and Petr Hnetynka and Jaroslav Keznikl and Michal Kit and Frantisek Plasil},
 year         = {2013},
 title        = {{DEECO}: An Ensemble-based Component System},
 booktitle    = {Proceedings of {CBSE} 2013, {Vancouver}, {Canada}},
 publisher    = {ACM},
 pages        = {81--90},
 doi          = {10.1145/2465449.2465462},
)
@incollection(BuresIrm15,
 author       = {Tomas Bures and Ilias Gerostathopoulos and Petr Hnetynka and Jaroslav Keznikl and Michal Kit and Frantisek Plasil},
 year         = {2015},
 title        = {The Invariant Refinement Method},
 booktitle    = {Software Engineering for Collective Autonomic Systems},
 series       = {LNCS},
 volume       = {8998},
 publisher    = {Springer},
 pages        = {405--428},
 doi          = {10.1007/978-3-319-16310-9\_12},
)
@article(Casagrande2014,
 author       = {E. Casagrande and S. Woldeamlak and W.L. Woon and H.H. Zeineldin and D. Svetinovic},
 year         = {2014},
 title        = {NLP-KAOS for Systems Goal Elicitation: Smart Metering System Case Study},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {40},
 number       = {10},
 pages        = {941--956},
 doi          = {10.1109/TSE.2014.2339811},
)
@inproceedings(Cohen03acomparison,
 author       = {William W. Cohen and Pradeep Ravikumar and Stephen E. Fienberg},
 year         = {2003},
 title        = {A comparison of string distance metrics for name-matching tasks},
 booktitle    = {Proceedings of IIWeb-03, {Acapulco}, {Mexico}},
 pages        = {73--78},
)
@inproceedings(DrechslerSW12,
 author       = {Rolf Drechsler and Mathias Soeken and Robert Wille},
 year         = {2012},
 title        = {Formal Specification Level: Towards verification-driven design based on natural language processing},
 booktitle    = {Proceedings of FDL 2012, Vienna, Austria},
 publisher    = {IEEE},
 pages        = {53--58},
)
@techreport(IliasTr15,
 author       = {Ilias Gerostathopoulos and Tomas Bures and Petr Hnetynka and Jaroslav Keznikl and Michal Kit and Frantisek Plasil and No\IeC{\"e}l Plozeau},
 year         = {2015},
 title        = {Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations},
 type         = {Technical Report},
 number       = {D3S-TR-2015-02},
 institution  = {Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems},
)
@incollection(Hennicker_Helena_2014,
 author       = {Rolf Hennicker and Annabelle Klarl},
 year         = {2014},
 title        = {Foundations for Ensemble Modeling \IeC{\textendash}- The {Helena} Approach},
 booktitle    = {Specification, {Algebra}, and {Software}},
 series       = {{LNCS}},
 volume       = {8373},
 publisher    = {Springer},
 pages        = {359--381},
 doi          = {10.1007/978-3-642-54624-2\_18},
)
@incollection(Holzl_Ensembles_2008,
 author       = {H\IeC{\"o}lzl, Matthias and Axel Rauschmayer and Martin Wirsing},
 year         = {2008},
 title        = {Software Engineering for Ensembles},
 booktitle    = {Software-Intensive Systems and New Computing Paradigms},
 series       = {{LNCS}},
 volume       = {5380},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {45--63},
 doi          = {10.1007/978-3-540-89437-7\_2},
)
@inproceedings(vanLamsweerde2008,
 author       = {Axel van Lamsweerde},
 year         = {2008},
 title        = {Requirements Engineering: From Craft to Discipline},
 booktitle    = {Proceedings of SIGSOFT'08/FSE-16, Atlanta, USA},
 publisher    = {ACM},
 pages        = {238--249},
 doi          = {10.1145/1453101.1453133},
)
@book(Larman2004,
 author       = {Craig Larman},
 year         = {2004},
 title        = {Applying {UML} and patterns: an introduction to object-oriented analysis and design and the unified proces},
 edition      = {3rd},
 publisher    = {Prentice-Hall},
)
@inproceedings(manning-EtAl:2014:P14-5,
 author       = {Christopher D. Manning and Mihai Surdeanu and John Bauer and Jenny Finkel and Steven J. Bethard and David McClosky},
 year         = {2014},
 title        = {The {Stanford} {CoreNLP} Natural Language Processing Toolkit},
 booktitle    = {Proceedings of 52nd Annual Meeting of the Association for Computational Linguistics: System Demonstrations, Baltimore, Maryland},
 pages        = {55--60},
 doi          = {10.3115/v1/P14-5010},
)
@article(Miller:1995:WLD:219717.219748,
 author       = {George A. Miller},
 year         = {1995},
 title        = {WordNet: A Lexical Database for English},
 journal      = {Communications of the ACM},
 volume       = {38},
 number       = {11},
 pages        = {39--41},
 doi          = {10.1145/219717.219748},
)
@inproceedings(Morin_Taming_2015,
 author       = {Brice Morin and Franck Fleurey and Olivier Barais},
 year         = {2015},
 title        = {Taming Heterogeneity and Distribution in {sCPS}},
 booktitle    = {Proceedings of {SEsCPS} 2015, {Firenze}, {Italy}},
 publisher    = {ACM},
 pages        = {40--43},
 doi          = {10.1109/SEsCPS.2015.15},
)
@inproceedings(Ruchkin_Hybrid_2015,
 author       = {Ivan Ruchkin and Bradley Schmerl and David Garlan},
 year         = {2015},
 title        = {Architectural Abstractions for Hybrid Programs},
 booktitle    = {Proceedings of {CBSE} 2015, {Montreal}, {Canada}},
 publisher    = {ACM},
 pages        = {65--74},
 doi          = {10.1145/2737166.2737167},
)
@article(simko2014foam,
 author       = {Viliam Simko and David Hauzar and Petr Hnetynka and Tomas Bures and Frantisek Plasil},
 year         = {2014},
 title        = {Formal Verification of Annotated Textual Use-Cases},
 journal      = {The Computer Journal},
 volume       = {58},
 number       = {7},
 pages        = {1495--1529},
 doi          = {10.1093/comjnl/bxu068},
)
@inproceedings(Simko2010,
 author       = {Viliam Simko and Petr Hnetynka and Tomas Bures},
 year         = {2010},
 title        = {From Textual Use-Cases to Component-Based Applications},
 booktitle    = {In proceedings of {SNPD} 2010, {London}, {UK}},
 series       = {{SCI}},
 volume       = {295},
 publisher    = {Springer},
 pages        = {23--37},
 doi          = {10.1007/978-3-642-13265-0\_3},
)
@techreport(SimkoTr13,
 author       = {Viliam Simko and Petr Kroha and Petr Hnetynka},
 year         = {2013},
 title        = {Implemented Domain Model Generation},
 type         = {Technical Report},
 number       = {D3S-TR-2013-03},
 institution  = {Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems},
)
@inproceedings(vinarek_recovering_2014,
 author       = {Jiri Vinarek and Petr Hnetynka and Viliam Simko and Petr Kroha},
 year         = {2014},
 title        = {Recovering Traceability Links Between Code and Specification Through Domain Model Extraction},
 booktitle    = {Proceedings of {EOMAS} 2014, Thessaloniki, Greece},
 series       = {{LNBIP}},
 volume       = {191},
 publisher    = {Springer},
 pages        = {187--201},
 doi          = {10.1007/978-3-662-44860-1\_11},
)