@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 Jo\ {a}o Saraiva 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 Flavio {De Paoli} 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",
)
@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-kouchnarenko2010,
 author       = "Julien Dormoy and Olga Koucharenko",
 year         = "2010",
 title        = "Event-Based Adaptation Policies for {Fractal} Components",
 booktitle    = "Proc. \textsc {aiccsa}~2010",
 publisher    = "IEEE Computer Society Press",
 address      = "Hammamet, Tunisia",
 pages        = "1--8",
 doi          = "10.1109/AICCSA.2010.5586944",
)
@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",
)
@manual(h2014y,
 author       = "Jean-Michel Hufflen",
 year         = "2014",
 title        = "Checking Properties of Reconfigurable Component-Based Systems{---}{The} Programs",
 address      = "\url {http://lifc.univ-fcomte.fr/home/~jmhufflen/texts/tacos-plus/properties.html}",
)
@unpublished(h2014z,
 author       = "Jean-Michel Hufflen",
 year         = "2014",
 title        = "A Method for Checking Properties of Component-Based Systems with Reconfigurations",
 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 Lanese 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",
)
@manual(sperber-etc2007b,
 author       = "Michael Sperber and William Clinger and R.~Kent Dybvig and Matthew Flatt and Anton van Straaten and Richard Kelsey and Jonathan Rees and Robert~Bruce Findler and Jacob Matthews",
 year         = "2007",
 title        = "Revised\textsuperscript {6} Report on the Algorithmic Language {\textsf {Scheme}}",
 address      = "\url {hhtp://www.r6rs.org}",
)
@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",
)