@misc(absint,
 title        = "{AbsInt} Angewandte Informatik",
 url          = "http://www.absint.com/",
)
@misc(cerco,
 title        = "Certified Complexity ({CerCo}), {FET}-Open {EU} Project",
 url          = "http://cerco.cs.unibo.it/",
)
@misc(framac,
 title        = "Frama-C software analyzers",
 url          = "http://frama-c.com/",
)
@misc(matita,
 title        = "Matita",
 url          = "http://matita.cs.unibo.it/",
)
@unpublished(D2.2,
 author       = "Roberto~M. Amadio and Nicolas Ayache and Yann R{\'e}gis-Gianas and Ronan Saillard",
 year         = "2010",
 title        = "Prototype implementation",
 note         = "Deliverable 2.2 of Project FP7-ICT-2009-C-243881 CerCo. Available at \url {http://cerco.cs.unibo.it/}",
)
@inproceedings(labeling,
 author       = "Nicholas Ayache and Roberto~M. Amadio and Yann R{\'e}gis-Gianas",
 year         = "2012",
 title        = "Certifying and Reasoning on Cost Annotations in C Programs",
 editor       = "Mari{\"e}lle Stoelinga and Ralf Pinger",
 booktitle    = "FMICS",
 series       = "Lecture Notes in Computer Science",
 volume       = "7437",
 publisher    = "Springer",
 pages        = "32--46",
 doi          = "10.1007/978-3-642-32469-7\_3",
)
@article(cacheprediction,
 author       = "Christian Ferdinand and Reinhard Wilhelm",
 year         = "1999",
 title        = "Efficient and Precise Cache Behavior Prediction for Real-TimeSystems",
 journal      = "Real-Time Syst.",
 volume       = "17",
 pages        = "131--181",
 doi          = "10.1023/A:1008186323068",
)
@(scade,
 author       = "Xavier Fornari",
 title        = "Understanding how {SCADE} suite {KCG} generates safe {C} code",
 note         = "White paper, Esterel Technologies. Available at \url {http://www.esterel-technologies.com/technology/WhitePapers/}",
)
@article(CompCert,
 author       = "Xavier Leroy",
 year         = "2009",
 title        = "Formal verification of a realistic compiler",
 journal      = "Commun. ACM",
 volume       = "52",
 number       = "7",
 pages        = "107--115",
 doi          = "10.1145/1538788.1538814",
)
@article(PRE,
 author       = "E.~Morel and C.~Renvoise",
 year         = "1979",
 title        = "Global optimization by suppression of partial redundancies",
 journal      = "Commun. ACM",
 volume       = "22",
 pages        = "96--103",
 doi          = "10.1145/359060.359069",
)
@book(morgan,
 author       = "Robert Morgan",
 year         = "1998",
 title        = "Building an Optimizing Compiler",
 publisher    = "Digital Press",
)
@book(muchnick,
 author       = "Steven~S. Muchnick",
 year         = "1997",
 title        = "Advanced Compiler Design and Implementation",
 publisher    = "Morgan Kaufmann",
)
@article(WCETsurvey,
 author       = "Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David~B. Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter~P. Puschner and Jan Staschulat and Per Stenstr{\"o}m",
 year         = "2008",
 title        = "The worst-case execution-time problem - overview of methods and survey of tools",
 journal      = "ACM Trans. Embedded Comput. Syst.",
 volume       = "7",
 number       = "3",
 doi          = "10.1145/1347375.1347389",
)
@inproceedings(findingbugs,
 author       = "Xuejun Yang and Yang Chen and Eric Eide and John Regehr",
 year         = "2011",
 title        = "Finding and understanding bugs in C compilers",
 editor       = "Mary~W. Hall and David~A. Padua",
 booktitle    = "PLDI",
 publisher    = "ACM",
 pages        = "283--294",
 doi          = "10.1145/1993498.1993532",
)