@book(bachmann10,
 author       = {Felix Bachmann and Len Bass and Paul Clements and David Garlan and James Ivers and M. Little and Paulo Merson and Robert Nord and Judith Stafford},
 year         = {2010},
 title        = {Documenting Software Architectures: Views and Beyond},
 edition      = {second},
 publisher    = {Addison-Wesley Professional},
 note         = {\url{http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=30386}},
)
@book(bass03,
 author       = {Len Bass and Paul Clements and Rick Kazman},
 year         = {2012},
 title        = {Software Architecture in Practice (3d Edition)},
 publisher    = {Addison-Wesley Professional},
 note         = {\url{http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=30264}},
)
@manual(acsl,
 author       = {Patrick Baudin and Jean-Christophe Filli\^{a}tre and Claude March\'{e} and Benjamin Monate and Yannick Moy and Virgile Prevosto},
 year         = {2015},
 title        = {{ACSL: ANSI/ISO C Specification Language. Version 1.9}},
 note         = {\url{http://frama-c.com/download/acsl_1.9.pdf}},
)
@manual(wp,
 author       = {Loïc Correnson and Zaynah Dargaye and Anne Pacalet},
 year         = {2015},
 title        = {{Frama-C}'s {WP} plug-in},
 note         = {\unhbox\voidb@x \hbox{\url{http://frama-c.com/download/frama-c-wp-manual.pdf}}},
)
@inproceedings(fmics12,
 author       = {Loïc Correnson and Julien Signoles},
 year         = {2012},
 title        = {{Combining Analysis for C Program Verification}},
 booktitle    = {{Formal Methods for Industrial Critical Systems (FMICS)}},
 doi          = {10.1007/978-3-642-32469-7\_8},
)
@inproceedings(fanc,
 author       = {Pascal Cuoq and David Delmas and St\'ephane Duprat and Victoria Moya Lamiel},
 year         = {2012},
 title        = {{Fan-C, a Frama-C plug-in for data flow verification}},
 booktitle    = {Embedded Real Time Software and Systems (ERTSS)},
 note         = {\url{http://web1.see.asso.fr/erts2012/Site/0P2RUC89/5C-3.pdf}},
)
@inproceedings(cuoq:icfp09,
 author       = {Pascal Cuoq and Julien Signoles},
 year         = {2009},
 title        = {{Experience Report: OCaml for an industrial-strength static analysis framework}},
 booktitle    = {Proceedings of International Conference of Functional Programming (ICFP'09)},
 publisher    = {ACM Press},
 address      = {New York, NY, USA},
 pages        = {281--286},
 doi          = {10.1145/1631687.1596591},
)
@manual(value,
 author       = {Pascal Cuoq and Boris Yakobowski and Virgile Prevosto},
 year         = {2015},
 title        = {{Frama-C}'s value analysis plug-in},
 note         = {\unhbox\voidb@x \hbox{\url{http://frama-c.cea.fr/download/value-analysis.pdf}}},
)
@inproceedings(sac13,
 author       = {Micka\"el Delahaye and Nikolai Kosmatov and Julien Signoles},
 year         = {2013},
 title        = {Common Specification Language for Static and Dynamic Analysis of {C} Programs},
 booktitle    = {Symposium on Applied Computing ({SAC'13})},
 publisher    = {ACM},
 pages        = {1230--1235},
 doi          = {10.1145/2480362.2480593},
)
@inproceedings(taster,
 author       = {David Delmas and St\'ephane Duprat and Victoria Moya Lamiel and Julien Signoles},
 year         = {2010},
 title        = {{Taster, a Frama-C plug-in to encode Coding Standards}},
 booktitle    = {Embedded Real Time Software and Systems (ERTSS)},
 note         = {\url{http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS\%20ERTS\%202010/ERTS2010_0003_final.pdf}},
)
@manual(rte,
 author       = {Philippe Herrmann and Julien Signoles},
 year         = {2013},
 title        = {Annotation Generation: {Frama-C}'s {RTE} plug-in},
 note         = {\unhbox\voidb@x \hbox{\url{http://frama-c.com/download/frama-c-rte-manual.pdf}}},
)
@article(johnson88,
 author       = {Ralph E. Johnson and Brian Foote},
 year         = {1988},
 title        = {Designing Reusable Classes},
 journal      = {Journal of Object-Oriented Programming},
 volume       = {1},
 number       = {2},
 pages        = {22--35},
 note         = {\url{http://www.cse.msu.edu/~cse870/Input/SS2002/MiniProject/Sources/DRC.pdf}},
)
@article(fac15,
 author       = {Florent Kirchner and Nikolai Kosmatov and Virgile Prevosto and Julien Signoles and Boris Yakobowski},
 year         = {2015},
 title        = {{Frama-C: A Software Analysis Perspective}},
 journal      = {Formal Aspects of Computing},
 pages        = {1--37},
 doi          = {10.1007/s00165-014-0326-7},
)
@inproceedings(cil,
 author       = {George C. Necula and Scott McPeak and Shree Prakash Rahul and Westley Weimer},
 year         = {2002},
 title        = {{CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs}},
 booktitle    = {CC '02: Proceedings of the 11th International Conference on Compiler Construction},
 publisher    = {Springer-Verlag},
 address      = {London, UK},
 pages        = {213--228},
 doi          = {10.1007/3-540-45937-5\_16},
)
@inproceedings(project,
 author       = {Julien Signoles},
 year         = {2009},
 title        = {Foncteurs imp\'eratifs et compos\'es: la notion de projet dans {Frama-C}},
 editor       = {Hermann},
 booktitle    = {Journ\'ees Francophones des Langages Applicatifs},
 series       = {Studia Informatica Universalis},
 volume       = {7.2},
 pages        = {245--280},
 note         = {In French. \url{http://www-ist.cea.fr/publicea/exl-doc/200800005272.pdf}},
)
@inproceedings(signoles:jfla11,
 author       = {Julien Signoles},
 year         = {2011},
 title        = {Une biblioth\`eque de typage dynamique en {OCaml}},
 editor       = {Hermann},
 booktitle    = {Journ\'ees Francophones des Langages Applicatifs},
 series       = {Studia Informatica Universalis},
 pages        = {209--242},
 note         = {In French. \url{http://studia.complexica.net/Art/AC-JFLA11-08.pdf}},
)
@manual(plugin-dev-guide,
 author       = {Julien Signoles and Loïc Correnson and Matthieu Lemerre and Virgile Prevosto},
 year         = {2015},
 title        = {{Frama-C Plug-in Development Guide}},
 note         = {\newline\url {http://frama-c.cea.fr/download/plugin-developer.pdf}},
)