@inproceedings(allen-etc1998,
 author       = {Robert~B. Allen and R{\'{e}}mi Douence and David Garlan},
 year         = {1998},
 title        = {Specifying and Analyzing Dynamic Software Architectures},
 editor       = {E.~Astesiano},
 booktitle    = {Proc.\ {\textsc{fase}}~1998},
 series       = {\textsc{lncs}},
 volume       = {1382},
 publisher    = {Springer},
 pages        = {21--37},
 doi          = {10.1007/BFb0053581},
)
@inproceedings(bezivin2006,
 author       = {Jean B{\'{e}}zivin},
 year         = {2006},
 title        = {Model Driven Engineering: an Emerging Technical Space},
 editor       = {Ralf L{\"{a}}mmel and {a}o Saraiva, Jo\ and Joost Visser},
 booktitle    = {International Summer School {\textsc{gttse}}~2005, revised papers},
 series       = {\textsc{lncs}},
 volume       = {4143},
 publisher    = {Springer},
 address      = {Braga, Portugal},
 pages        = {36--64},
 doi          = {10.1007/11877028\_2},
)
@inproceedings(bozga-etc2012,
 author       = {Marius Bozga and Mohamad Jaber and Nikolaos Maris and Joseph Sifakis},
 year         = {2012},
 title        = {Modelling Dynamic Architectures Using {Dy-BIP}},
 editor       = {Thomas Gschwind and {De Paoli}, Flavio and Volker Gruhn and Matthias Book},
 booktitle    = {Proc.\ {\textsc{sc}}~2012},
 series       = {\textsc{lncs}},
 volume       = {7306},
 publisher    = {Springer},
 pages        = {1--16},
 doi          = {10.1007/978-3-642-30564-1\_1},
)
@article(bruneton-etc2006,
 author       = {{\'{E}}ric Bruneton and {\relax Th}ierry Coupaye and Matthieu Leclercq and Vivien Qu{\'{e}}ma and Jean-Bernard Stefani},
 year         = {2006},
 title        = {The {Fractal} Component Model and its Support in {Java}},
 journal      = {Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems},
 volume       = {36},
 number       = {11-12},
 pages        = {1257--1284},
 doi          = {10.1002/spe.767},
)
@inproceedings(bruni-lavanese2006,
 author       = {Roberto Bruni and Ivan Lavanese},
 year         = {2006},
 title        = {{\textsc{prisma}}: a Mobile Calculus with Parametric Synchronization},
 editor       = {Ugo Montanari and Don Sannella and Roberto Bruni},
 booktitle    = {Proc.\ \textsc{tgc}~2006},
 series       = {\textsc{lncs}},
 volume       = {4661},
 address      = {Lucca},
 pages        = {132--149},
 doi          = {10.1007/978-3-540-75336-0\_9},
)
@inproceedings(chauvel2008a,
 author       = {Franck Chauvel and Olivier Barais and Isabelle Borne and Jean-Marc J{\'{e}}z{\'{e}}quel},
 year         = {2008},
 title        = {Composition of Qualitative Adaptation Policies},
 booktitle    = {Proc.\ ASE'08},
 address      = {L'Aquila, Italy},
 pages        = {455--458},
 doi          = {10.1109/ASE.2008.72},
)
@article(clarke-etc1986,
 author       = {Edmund~M. Clarke and E.~Allen Emerson and A.~Prasad Sistla},
 year         = {1986},
 title        = {Automatic Verification of Finite-State Concurrent System Using Temporal Logic Specifications},
 journal      = {\textsc{acm} Transactions on Programming Languages and Systems},
 volume       = {8},
 number       = {2},
 pages        = {244--263},
 doi          = {10.1145/5397.5399},
)
@inproceedings(clarke-etc1994,
 author       = {Edmund~M. Clarke and Orna Grumberg and David~E. Long},
 year         = {1994},
 title        = {Verification Tools for Finite-State Concurrent Systems},
 editor       = {Jacobus~Willem de~Bakker and Willem-Paul de~Roever and Grzegorz Rozenberg},
 booktitle    = {A Decade of Concurrency, Proc.\ {\textsc{rex}} School/Symp.},
 series       = {\textsc{lncs}},
 volume       = {803},
 publisher    = {Springer-Verlag},
 address      = {Noordwijkerhout, The Netherlands},
 pages        = {124--175},
 doi          = {10.1007/3-540-58043-3\_19},
)
@inproceedings(dormoy-etc2010,
 author       = {Julien Dormoy and Olga Kouchnarenko and Arnaud Lanoix},
 year         = {2010},
 title        = {Using Temporal Logic for Dynamic Reconfigurations of Components},
 editor       = {Lu{\'{\i}}s~Soares Barbosa and Markus Lumpe},
 booktitle    = {Proc.\ {\textsc{facs}}~2010},
 address      = {Guimaraes, Portugal},
 pages        = {200--217},
 doi          = {10.1007/978-3-642-27269-1\_12},
)
@inproceedings(dormoy-etc2011,
 author       = {Julien Dormoy and Olga Kouchnarenko and Arnaud Lanoix},
 year         = {2011},
 title        = {Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components},
 editor       = {Farhad Arbab and Peter~Csaba {\"{O}}lveczky},
 booktitle    = {Proc.\ {\textsc{facs}}~2011},
 series       = {LNCS},
 volume       = {7253},
 address      = {Oslo, Norway},
 pages        = {115--132},
 doi          = {10.1007/978-3-642-35743-5\_8},
)
@inproceedings(dormoy-etc2012,
 author       = {Julien Dormoy and Olga Kouchnarenko and Arnaud Lanoix},
 year         = {2012},
 title        = {When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations},
 editor       = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry},
 booktitle    = {Proc.\ {\textsc{fm}}~2012},
 series       = {LNCS},
 volume       = {7436},
 pages        = {171--186},
 doi          = {10.1007/978-3-642-32759-9\_16},
)
@inproceedings(falcone-etc2011,
 author       = {Yli{\`{e}}s Falcone and Mohamad Jaber and Thanh-Hung Nguyen and Marius Bozga and Saddek Bensalem},
 year         = {2011},
 title        = {Runtime Verification of Component-Based Systems},
 editor       = {Gilles Barthe and Alberto Pardo and Gerardo Schneider},
 booktitle    = {Proc.\ {\textsc{sefm}}~2011},
 series       = {Lecture Notes in Computer Science},
 volume       = {7041},
 publisher    = {Springer},
 address      = {Montevideo, Uruguay},
 pages        = {204--220},
 doi          = {10.1007/978-3-642-24690-6\_15},
)
@inproceedings(h2013h,
 author       = {Jean-Michel Hufflen},
 year         = {2013},
 title        = {A Framework for Handling Non-Functional Properties within a Component-Based Approach},
 editor       = {Jos{\'{e}}~Luiz Fiadero and Zhiming Liu and Jiyun Xue},
 booktitle    = {Proc.\ \textsc{facs}~2013},
 series       = {\textsc{lncs}},
 volume       = {8348},
 address      = {N\'{a}nch\={a}ng, China},
 pages        = {196--214},
 doi          = {10.1007/978-3-319-07602-7\_13},
)
@inproceedings(h2015a,
 author       = {Jean-Michel Hufflen},
 year         = {2015},
 title        = {Using Model-Checking Techniques for Component-Based Systems with Reconfigurations},
 editor       = {Bara Buhnova and Lucia Happe and Kofro{\v{n}}, Jan},
 booktitle    = {Proc.\ \textsc{fesca}~2015},
 series       = {\textsc{eptcs}},
 volume       = {178},
 address      = {London, United Kingdom},
 pages        = {33--46},
 doi          = {10.4204/EPTCS.178.4},
)
@manual(h2017y,
 author       = {Jean-Michel Hufflen},
 year         = {2017},
 title        = {Checking Properties of Component-Based Systems Reconfigured by Means of Adaptation Policies{---}{The} Programs},
 address      = {\url{http://members.femto-st.fr/jean-michel-hufflen/en/tacos-plus}},
)
@unpublished(h2017yy,
 author       = {Jean-Michel Hufflen},
 year         = {2017},
 title        = {Using Model-Checking Techniques for Studying Reconfiguration Policies of Component-Based Systems},
 note         = {Working paper},
)
@inproceedings(kouchnarenko-weber2013,
 author       = {Olga Kouchnarenko and Jean-Fran{\c{c}}ois Weber},
 year         = {2013},
 title        = {Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns},
 editor       = {Jos{\'{e}}~Luiz Fiadeiro and Zhiming Liu and Jinyun Xue},
 booktitle    = {Proc.\ \textsc{facs}~2013},
 series       = {\textsc{lncs}},
 volume       = {8348},
 publisher    = {Springer},
 address      = {N\'{a}nch\={a}ng, China},
 pages        = {234--253},
 doi          = {10.1007/978-3-319-07602-7\_15},
)
@inproceedings(kouchnarenko-weber2014,
 author       = {Olga Kouchnarenko and Jean-Fran{\c{c}}ois Weber},
 year         = {2014},
 title        = {Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime},
 editor       = {Ivan Lavanese and {\'{E}}ric Madelaine},
 booktitle    = {Proc.\ \textsc{facs}~2014},
 address      = {Bertinoro, Italy},
 pages        = {108--126},
 doi          = {10.1007/978-3-319-15317-9\_7},
)
@article(krause-etc2011,
 author       = {Christian Krause and Ziyan Maraikar and Alexander Lazovik and Farhad Arbab},
 year         = {2011},
 title        = {Modeling Dynamic Reconfigurations in {Reo} Using High-Level Replacement Systems},
 journal      = {\textsc{scp}},
 volume       = {76},
 pages        = {23--36},
 doi          = {10.1016/j.scico.2009.10.006},
)
@inproceedings(lanoix-kouchnarenko2014,
 author       = {Arnaud Lanoix and Olga Kouchnarenko},
 year         = {2014},
 title        = {Component Substitution through Dynamic Reconfigurations},
 editor       = {Barbara Buhnova and Lucia Happe and Jan Kofron},
 booktitle    = {Proc. \textsc{fesca}~2014},
 series       = {\textsc{eptcs}},
 volume       = {147},
 address      = {Grenoble, France},
 pages        = {32--46},
 doi          = {10.4204/EPTCS.147.3},
)
@inproceedings(leger-etc2010,
 author       = {Marc L{\'{e}}ger and Thomas Ledoux and Thierry Coupaye},
 year         = {2010},
 title        = {Reliable Dynamic Reconfigurations in a Reflective Component Model},
 editor       = {Lars Grunske and Ralf Reussner and Frantisek Plasil},
 booktitle    = {Proc.\ {\textsc{cbse}}~2010},
 series       = {\textsc{lncs}},
 volume       = {6092},
 publisher    = {Springer},
 pages        = {74--92},
 doi          = {10.1007/978-3-642-13238-4\_5},
)
@manual(marlow2010,
 author       = {Simon Marlow},
 year         = {2010},
 title        = {{\textsf{Haskell}}~2010 Language Report},
 address      = {\url{https://www.haskell.org/onlinereport/haskell2010/}},
)
@book(paulson1996,
 author       = {Lawrence~C. Paulson},
 year         = {1996},
 title        = {{\textsc{ml}} for the Working Programmer},
 edition      = {2},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511811326},
)
@inproceedings(queille-sifakis1982,
 author       = {Jean-Pierre Queille and Joseph Sifakis},
 year         = {1982},
 title        = {Specification and Verification of Concurrent Systems in {\textsc{cesar}}},
 editor       = {M.~Dezani-Cianaglini and Ugo Montanari},
 booktitle    = {Proc.\ 5th International Symposium on Programming},
 series       = {\textsc{lncs}},
 volume       = {137},
 address      = {Turin, Italy},
 pages        = {337--351},
 doi          = {10.1007/3-540-11494-7\_22},
)
@article(sanchez-etc2015,
 author       = {Alejandro Sanchez and Alexandre Madeira and Lu{\'{\i}}s~S. Barbosa},
 year         = {2015},
 title        = {On the Verification of Architectural Reconfigurations},
 journal      = {Computer Languages, Systems {\&} Structures},
 volume       = {44},
 pages        = {218--237},
 doi          = {10.1016/j.cl.2015.07.001},
)
@manual(wwwc2007a,
 author       = {{W3C}},
 year         = {2007},
 title        = {{\textsc{xsl}} {Transformations} ({\textsc{xslt}}). Version~2.0},
 address      = {\url{http://www.w3.org/TR/2007/WD-xslt20-20070123}},
 note         = {\textsc{w3c} Recommendation. Edited by Michael~H. Kay},
)
@manual(wwwc2008d,
 author       = {{W3C}},
 year         = {2008},
 title        = {{\textsf{XQuery}~1.1}},
 address      = {\url{http://www.w3.org/TR/xquery-11-20081203}},
 note         = {\textsc{w3c} Working Draft. Edited by Don Chamberlin and Jonathan\ Sim\'{e}on},
)