@techreport(EASACMSWCEH002,
 year         = {2012},
 title        = {{EASA Certification Memo CM-SWCEH-002 Software Aspects of Certification}},
 type         = {Technical Report},
 number       = {EASA CM-SWCEH002 Issue 01 Revision 1},
 institution  = {European Aviation Safety Agency},
)
@misc(ACSLWeb,
 title        = {{ANSI/ISO} {C Specification Language}},
 url          = {http://frama-c.com/acsl.html},
)
@manual(Baudin2013a,
 author       = {Patrick Baudin and Loic Correnson and Zaynah Dargaye},
 year         = {2013},
 title        = {WP Plug-in Manual. Version 0.7 for Fluorine-20130601},
 organization = {CEA LIST},
)
@techreport(Baudin2013,
 author       = {Patrick Baudin and Pascal Cuoq and Jean-Christophe Filli\^atre and Claude March\'e and Benjamin Monate and Yannick Moy and Virgile Prevosto},
 year         = {2013},
 title        = {{ACSL}: {ANSI/ISO} {C} {Specification Language}. {Version} 1.7},
 type         = {Technical Report},
 institution  = {CEA LIST, Software Reliability Laboratory},
 url          = {http://frama-c.com/download/acsl.pdf},
)
@inproceedings(Baumann2011,
 author       = {C. Baumann and T. Bormer and H. Blasum and S. Tverdyshev},
 year         = {2011},
 title        = {Proving Memory Separation in a Microkernel by Code Level Verification},
 booktitle    = {Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on},
 pages        = {25--32},
 doi          = {10.1109/ISORCW.2011.14},
)
@inproceedings(Baumann2009,
 author       = {Christoph Baumann and Bernhard Beckert and Holger Blasum and Thorsten Bormer},
 year         = {2009},
 title        = {Better Avionics Software Reliability by Code Verification -- {A} Glance at Code Verification Methodology in the {Verisoft~XT} Project},
 booktitle    = {Embedded World 2009 Conference},
 publisher    = {Franzis Verlag},
 address      = {Nuremberg, Germany},
)
@inproceedings(Blasum2012,
 author       = {Holger Blasum and Frank Dordowsky and Bruno Langenstein and Andreas Nonnengart},
 year         = {2012},
 title        = {{DO-178C} Compliance of {Verisoft} Formal Methods},
 booktitle    = {Proceedings of the Embedded Real Time Software and Systems Conference, 1. - 3. February, Toulouse},
)
@techreport(Burghardt2011,
 author       = {Jochen Burghardt and Jens Gerlach amd Liangliang Gu and Kerstin Hartig and Hans Pohl and Juan Soto and Kim V¨ollinger},
 year         = {2011},
 title        = {{ACSL By Example}. {Towards} a Verified {C} Standard Library},
 type         = {Technical Report},
 institution  = {Fraunhofer FIRST},
)
@(CCPart3,
 year         = {2007},
 title        = {{Common Criteria for Information Technology Security Evaluation. Part 3: Security Assurance Components}},
)
@manual(Correnson2013,
 author       = {Lo\"{i}c Correnson and Pascal Cuoq and Florent Kirchner and Virgile Prevosto and Armand Puccetti and Julien Signoles and Boris Yakobowski},
 year         = {2013},
 title        = {Frama-C User Manual. Release Fluorine-20130601},
 url          = {http://frama-c.com/download/frama-c-user-manual.pdf},
)
@(DO178C,
 year         = {2011},
 title        = {{RTCA DO-178C} {Software Considerations in Airborne Systems and Equipment Certification}},
)
@(DO333,
 year         = {2011},
 title        = {{RTCA DO-333} {Formal Methods Supplement to DO-178C and DO-278A}},
)
@misc(FramaCWebsite,
 title        = {{Frama-C} Software Analyzers},
 url          = {http://frama-c.com/},
)
@techreport(Rushby1993,
 author       = {John Rushby},
 year         = {1993},
 title        = {Formal Methods and the Certification of Critical Systems},
 type         = {Technical Report},
 number       = {{SRI-CSL-93-7}},
 institution  = {Computer Science Laboratory, {SRI} International},
 address      = {Menlo Park, {CA}},
)
@incollection(Souyris2009,
 author       = {Jean Souyris and Virginie Wiels and David Delmas and Herv{\'{e}} Delseny},
 year         = {2009},
 title        = {Formal Verification of Avionics Software Products},
 editor       = {Ana Cavalcanti and Dennis Dams},
 booktitle    = {FM 2009: Formal Methods},
 series       = {Lecture Notes in Computer Science},
 volume       = {5850},
 publisher    = {Springer Berlin / Heidelberg},
 pages        = {532--546},
 doi          = {10.1007/978-3-642-05089-3_34},
)
@book(Spivey1998,
 author       = {J. M. Spivey},
 year         = {1998},
 title        = {The Z Notation: A Reference Manual},
 edition      = {2nd edition},
 publisher    = {Prentice Hall International (UK) Ltd},
)
@techreport(Stepney2003,
 author       = {Susan Stepney and Fiona Polack and Ian Toyn},
 year         = {2003},
 title        = {A {Z} Patterns Catalogue {I}: Specification and Refactorings},
 type         = {Technical Report},
 number       = {YCS-2003-349},
 institution  = {Department of Computer Science, University of York},
)
@techreport(Stouls2015,
 author       = {Nicolas Stouls and Virgile Prevosto},
 year         = {2015},
 title        = {Aorai Plugin Tutorial},
 type         = {Technical Report},
 institution  = {INRIA},
 url          = {http://frama-c.com/download/frama-c-aorai-manual.pdf},
)
@techreport(Valentine2004,
 author       = {Samuel H. Valentine and Susan Stepney and Ian Toyn},
 year         = {2004},
 title        = {A {Z} Patterns Catalogue {II}: Definitions and Laws},
 type         = {Technical Report},
 number       = {YCS-2004-383},
 institution  = {Department of Computer Science, University of York},
)
@misc(VCCWebsite,
 title        = {{VCC} Website},
 url          = {http://vcc.codeplex.com/},
)
@techreport(Vries1996,
 author       = {L.M.G. de Vries},
 year         = {1996},
 title        = {Applying Formal Methods in the {DO-178B} Certification Process},
 type         = {Technical Report},
 number       = {NLR TP 95547},
 institution  = {National Aerospace Laboratory NLR, Amsterdam, The Netherlands},
)