@misc(SCAspec,
 author       = "{OASIS} Committee~Draft 5",
 year         = "2010",
 title        = "{SCA Assembly Specification Version 1.1}",
 howpublished = "http://oasis-open.org",
)
@techreport(ameurboulifa:hal-00761073,
 author       = "Rab\'ea Ameur-Boulifa and Ludovic Henrio and Eric Madelaine and Alexandra Savu",
 year         = "2012",
 title        = "{Behavioural Semantics for Asynchronous Components}",
 type         = "Rapport de recherche",
 number       = "RR-8167",
 institution  = "INRIA",
)
@article(Basu:2011,
 author       = "A.~Basu and B.~Bensalem and M.~Bozga and J.~Combaz and M.~Jaber and T.H. Nguyen and J.~Sifakis",
 year         = "2011",
 title        = "Rigorous Component-Based System Design Using the BIP Framework",
 journal      = "IEEE Softw.",
 volume       = "28",
 number       = "3",
 pages        = "41--48",
 doi          = "10.1109/MS.2011.27",
)
@article(BCDGHP:article2009,
 author       = "F.~Baude and D.~Caromel and C.~Dalmasso and M.~Danelutto and V.~Getov and L.~Henrio and C.~P\'erez",
 year         = "2009",
 title        = "{GCM: A Grid Extension to Fractal for Autonomous Distributed Components}",
 journal      = "Annals of Telecommunications",
 volume       = "64",
 number       = "1",
 pages        = "5--24",
 doi          = "10.1007/s12243-008-0068-8",
)
@article(BHR:SPE14,
 author       = "Fran{\c {c}}oise Baude and Ludovic Henrio and Cristian Ruz",
 year         = "2014",
 title        = "Programming distributed and adaptable autonomous components-the GCM/ProActive framework",
 journal      = "Software: Practice and Experience",
 doi          = "10.1002/spe.2270",
)
@article(BensalemBNS10,
 author       = "S.~Bensalem and M.~Bozga and T.-H. Nguyen and J.~Sifakis",
 year         = "2010",
 title        = "Compositional verification for component-based systems and application",
 journal      = "IET Software",
 volume       = "4",
 number       = "3",
 doi          = "10.1007/978-3-540-88387-6\_7",
)
@article(fractal:SPE2006,
 author       = "E.~Bruneton and T.~Coupaye and M.~Leclercq and V.~Qu\'ema and J.-B. 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",
 doi          = "10.1002/spe.767",
)
@inproceedings(Dynaco05,
 author       = "{{B}uisson, J. and {A}ndr\'e, F. and {P}azat, J.L.}",
 year         = "2005",
 title        = "{A} framework for dynamic adaptation of parallel components",
 booktitle    = "{P}arallel {C}omputing: {C}urrent \& {F}uture {I}ssues of {H}igh-{E}nd {C}omputing {I}nternational {C}onference {P}ar{C}o",
 series       = "{NIC} {S}eries",
 volume       = "33",
 address      = "{M}alaga {S}pain",
 pages        = "65",
)
@inproceedings(SOFA:SERA2006,
 author       = "T.~Bure{\v {s}} and P.~Hnetynka and F.~Plasil",
 year         = "2006",
 title        = "{SOFA 2.0:} Balancing Advanced Features in a Hierarchical Component Model",
 booktitle    = "Proceedings of SERA 2006, IEEE CS",
 pages        = "40--48",
 doi          = "10.1109/SERA.2006.62",
)
@inproceedings(CADP-Tacas2011,
 author       = "H.~Garavel and F.~Lang and R.~Mateescu and W.~Serve",
 year         = "2011",
 title        = "CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes",
 booktitle    = "TACAS'11",
 series       = "LNCS",
 volume       = "6605",
 publisher    = "Springer, Heidelberg",
 address      = "Saarbr{\"u}cken, Germany",
 doi          = "10.1007/978-3-642-19835-9\_33",
)
@inproceedings(gaspar:HLPP13,
 author       = "Nuno Gaspar and Ludovic Henrio and Eric Madelaine",
 year         = "2013",
 title        = "Bringing Coq Into the World of GCM Distributed Applications",
 booktitle    = "International Symposium on High-level Parallel Programming and Applications\&, HLPP",
 address      = "Paris, France",
 doi          = "10.1007/s10766-013-0264-7",
 url          = "http://hal.inria.fr/hal-00880533",
)
@inproceedings(HKK:FMCO09,
 author       = "Ludovic Henrio and Florian Kamm{\"u}ller and Muhammad~Uzair Khan",
 year         = "2010",
 title        = "A Framework for Reasoning on Component Composition",
 booktitle    = "FMCO 2009",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-17071-3\_1",
)
@inproceedings(Sofa2Reconfig-HP06,
 author       = "Petr Hn\v {e}tynka and Franti\v {s}ek Pl\'{a}\v {s}il",
 year         = "2006",
 title        = "Dynamic reconfiguration and access to services in hierarchical component models",
 booktitle    = "Proceedings of the 9th international conference on Component-Based Software Engineering",
 series       = "CBSE'06",
 publisher    = "Springer-Verlag",
 pages        = "352--359",
 doi          = "10.1007/11783565\_27",
)
@techreport(MERLE:2008,
 author       = "{P}hilippe {M}erle and {J}ean-{B}ernard {S}tefani",
 year         = "2008",
 title        = "{A} formal specification of the {F}ractal component model in {A}lloy",
 type         = "Research Report",
 number       = "{RR}-6721",
 institution  = "INRIA",
 url          = "http://hal.inria.fr/inria-00338987/en/",
)
@phdthesis(naoumenko10,
 author       = "Paul Naoumenko",
 year         = "2010",
 title        = "Designing Non-functional Aspects With Components",
 school       = "University of Nice-Sophia Antipolis",
)
@inproceedings(seinturier06aokell,
 author       = "Lionel Seinturier and Nicolas Pessemier and Laurence Duchien and Thierry Coupaye",
 year         = "2006",
 title        = "{A Component Model Engineered with Components and Aspects}",
 booktitle    = "Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering",
 doi          = "10.1007/11783565\_10",
)