@misc(BIPGrammar,
 title        = {{B}{I}{P} Grammar},
 howpublished = {\url{http://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/Bip2-simplified.html}},
 note         = {Accessed: 2018-05-20},
)
@article(Basu11-RCBSD,
 author       = {Ananda Basu and Saddek Bensalem and Marius Bozga and Jacques Combaz and Mohamad Jaber and Thanh-Hung Nguyen and Joseph Sifakis},
 year         = {2011},
 title        = {Rigorous Component-Based System Design Using the {BIP} Framework},
 journal      = {Software, IEEE},
 volume       = {28},
 number       = {3},
 pages        = {41--48},
 doi          = {10.1109/MS.2011.27},
)
@article(beccani2015systematic,
 author       = {Marco Beccani and Hakan Tunc and Addisu Taddese and Ekawahyu Susilo and P{\'e}ter V{\"o}lgyesi and Akos L{\'e}deczi and Pietro Valdastri},
 year         = {2015},
 title        = {Systematic design of medical capsule robots},
 journal      = {IEEE Design \& Test},
 volume       = {32},
 number       = {5},
 pages        = {98--108},
 doi          = {10.1109/MDAT.2015.2459591},
)
@article(bell2003uml,
 author       = {Donald Bell},
 year         = {2003},
 title        = {UML basics: An introduction to the Unified Modeling Language},
 journal      = {The Rational Edge},
)
@inproceedings(dfinder,
 author       = {Saddek Bensalem and Marius Bozga and Thanh-Hung Nguyen and Joseph Sifakis},
 year         = {2009},
 title        = {D-Finder: A Tool for Compositional Deadlock Detection and Verification},
 editor       = {Ahmed Bouajjani and Oded Maler},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {614--619},
 doi          = {10.1007/11817963\_11},
)
@book(beydeda2005model,
 author       = {Sami Beydeda and Matthias Book and Volker Gruhn},
 year         = {2005},
 title        = {Model-driven software development},
 volume       = {Vol. 15},
 publisher    = {Springer},
 doi          = {10.1007/3-540-28554-7},
)
@inproceedings(esst4bip,
 author       = {Simon Bliudze and Alessandro Cimatti and Mohamad Jaber and Sergio Mover and Marco Roveri and Wajeb Saab and Qiang Wang},
 year         = {2015},
 title        = {Formal Verification of Infinite-State BIP Models},
 editor       = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang},
 booktitle    = {Automated Technology for Verification and Analysis},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {326--343},
 doi          = {10.1007/978-3-319-24953-7\_25},
)
@article(SPE:SPE2495,
 author       = {Simon Bliudze and Anastasia Mavridou and Radoslaw Szymanek and Alina Zolotukhina},
 year         = {2017},
 title        = {Exogenous coordination of concurrent software components with JavaBIP},
 journal      = {Software: Practice and Experience},
 doi          = {10.1002/spe.2495},
)
@inproceedings(BliSif07-acp-emsoft,
 author       = {Simon Bliudze and Joseph Sifakis},
 year         = {2007},
 title        = {The Algebra of Connectors~--- {S}tructuring Interaction in {BIP}},
 booktitle    = {Proc. of the {EMSOFT'07}},
 organization = {ACM SigBED},
 pages        = {11--20},
 doi          = {10.1145/1289927.1289935},
)
@article(bliudze2010causal,
 author       = {Simon Bliudze and Joseph Sifakis},
 year         = {2010},
 title        = {Causal semantics for the algebra of connectors},
 journal      = {Formal Methods in System Design},
 volume       = {36},
 number       = {2},
 pages        = {167--194},
 doi          = {10.1007/s10703-010-0091-z},
)
@incollection(dybip,
 author       = {Marius Bozga and Mohamad Jaber and Nikolaos Maris and Joseph Sifakis},
 year         = {2012},
 title        = {Modeling Dynamic Architectures Using {Dy-BIP}},
 editor       = {Thomas Gschwind and Flavio Paoli and Volker Gruhn and Matthias Book},
 booktitle    = {Software Composition},
 series       = {Lecture Notes in Computer Science},
 volume       = {7306},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {1--16},
 doi          = {10.1007/978-3-642-30564-1\_1},
)
@book(clements2002documenting,
 author       = {Paul Clements and David Garlan and Len Bass and Judith Stafford and Robert Nord and James Ivers and Reed Little},
 year         = {2002},
 title        = {Documenting software architectures: views and beyond},
 publisher    = {Pearson Education},
)
@book(daigneau2011service,
 author       = {Robert Daigneau},
 year         = {2011},
 title        = {Service design patterns: {F}undamental design solutions for {SOAP/WSDL} and restful Web Services},
 publisher    = {Addison-Wesley},
)
@article(edelmannfunctional,
 author       = {Romain Edelmann and Simon Bliudze and Joseph Sifakis},
 year         = {2017},
 title        = {Functional BIP: Embedding connectors in functional programming languages},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {92},
 pages        = {19 -- 44},
 doi          = {10.1016/j.jlamp.2017.06.003},
 url          = {http://www.sciencedirect.com/science/article/pii/S235222081630178X},
)
@article(harel2004meaningful,
 author       = {David Harel and Bernhard Rumpe},
 year         = {2004},
 title        = {Meaningful modeling: what's the semantics of ``semantics"?},
 journal      = {Computer},
 volume       = {37},
 number       = {10},
 pages        = {64--72},
 doi          = {10.1109/MC.2004.172},
)
@book(heineman2001component,
 author       = {George T Heineman and William T Councill},
 year         = {2001},
 title        = {Component-based software engineering},
 publisher    = {Springer},
)
@book(Hohpe:2003:EIP:940308,
 author       = {Gregor Hohpe and Bobby Woolf},
 year         = {2003},
 title        = {Enterprise integration patterns: designing, building, and deploying messaging solutions},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@techreport(ivers2004documenting,
 author       = {James Ivers and Paul Clements and David Garlan and Robert Nord and Bradley Schmerl and Jaime R Silva},
 year         = {2004},
 title        = {Documenting component and connector views with {UML} 2.0},
 type         = {Technical Report},
 institution  = {DTIC Document},
)
@inproceedings(rosmod,
 author       = {P. S. Kumar and W. Emfinger and A. Kulkarni and G. Karsai and D. Watkins and B. Gasser and C. Ridgewell and A. Anilkumar},
 year         = {2015},
 title        = {ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS},
 booktitle    = {2015 International Symposium on Rapid System Prototyping (RSP)},
 pages        = {39--45},
 doi          = {10.1109/RSP.2015.7416545},
)
@article(malavolta2013industry,
 author       = {I. Malavolta and P. Lago and H. Muccini and P. Pelliccione and A. Tang},
 year         = {2013},
 title        = {What Industry Needs from Architectural Languages: A Survey},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {39},
 number       = {6},
 pages        = {869--891},
 doi          = {10.1109/TSE.2012.74},
)
@inproceedings(maroti2014next,
 author       = {Mikl{\'o}s Mar{\'o}ti and Tam{\'a}s Kecsk{\'e}s and R{\'o}bert Keresk{\'e}nyi and Brian Broll and P{\'e}ter V{\"o}lgyesi and L{\'a}szl{\'o} Jur{\'a}cz and Tihamer Levendovszky and {\'A}kos L{\'e}deczi},
 year         = {2014},
 title        = {Next Generation (Meta) Modeling: Web-and Cloud-based Collaborative Tool Infrastructure.},
 booktitle    = {MPM@ MoDELS},
 pages        = {41--60},
)
@inproceedings(MavridouBBS16,
 author       = {Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
 year         = {2016},
 title        = {Architecture Diagrams: {A} Graphical Language for Architecture Style Specification},
 booktitle    = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016, Heraklion, Greece, 8-9 June 2016.},
 pages        = {83--97},
 doi          = {10.4204/EPTCS.223.6},
)
@inproceedings(mavridouDesignBIPReport,
 author       = {Anastasia Mavridou and Joseph Sifakis and Janos Sztipanovits},
 year         = {2018},
 title        = {DesignBIP: A Design Studio for Modeling and Generating Systems with BIP},
 url          = {https://arxiv.org/abs/1805.09919},
 note         = {ArXiv:1805.09919 [cs.SE]},
)
@inproceedings(mavridou2016satellite,
 author       = {Anastasia Mavridou and Emmanouela Stachtiari and Simon Bliudze and Anton Ivanov and Panagiotis Katsaros and Joseph Sifakis},
 year         = {2017},
 title        = {Architecture-Based Design: A Satellite On-Board Software Case Study},
 editor       = {Olga Kouchnarenko and Ramtin Khosravi},
 booktitle    = {Formal Aspects of Component Software},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {260--279},
 doi          = {10.1007/978-3-642-25264-8\_4},
)
@article(medvidovic2000classification,
 author       = {N. Medvidovic and R. N. Taylor},
 year         = {2000},
 title        = {A classification and comparison framework for software architecture description languages},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {26},
 number       = {1},
 pages        = {70--93},
 doi          = {10.1109/32.825767},
)
@inproceedings(neema2016c2wt,
 author       = {H. Neema and J. Sztipanovits and M. Burns and E. Griffor},
 year         = {2016},
 title        = {C2WT-TE: A model-based open platform for integrated simulations of transactive smart grids},
 booktitle    = {2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES)},
 pages        = {1--6},
 doi          = {10.1109/MSCPES.2016.7480218},
)
@inproceedings(ozkaya2013we,
 author       = {Mert Ozkaya and Christos Kloukinas},
 year         = {2013},
 title        = {Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability},
 booktitle    = {Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on},
 organization = {IEEE},
 pages        = {177--184},
 doi          = {10.1109/SEAA.2013.34},
)
@inproceedings(stankovic2003vest,
 author       = {J. A. Stankovic and Ruiqing Zhu and R. Poornalingam and Chenyang Lu and Zhendong Yu and M. Humphrey and B. Ellis},
 year         = {2003},
 title        = {VEST: an aspect-based composition tool for real-time systems},
 booktitle    = {The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.},
 pages        = {58--69},
 doi          = {10.1109/RTTAS.2003.1203037},
)
@book(clemens1998component,
 author       = {Clemens Szyperski},
 year         = {1998},
 title        = {Component Software: Beyond Object-oriented Programming},
 publisher    = {ACM Press/Addison-Wesley Publishing Co.},
 address      = {New York, NY, USA},
)
@article(thramboulidis2005model,
 author       = {K. Thramboulidis},
 year         = {2005},
 title        = {Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems},
 journal      = {IEEE Transactions on Industrial Informatics},
 volume       = {1},
 number       = {1},
 pages        = {54--61},
 doi          = {10.1109/TII.2005.844427},
)