@misc(motor1998guidelines,
 author       = "Motor Industry Software Reliability Association",
 year         = "1998",
 title        = "Guidelines for the use of the C language in vehicle based software",
)
@inproceedings(clarkeemerson81,
 author       = "Edmund M. Clarke and E. Allen Emerson",
 year         = "1982",
 title        = "Design and Synthesis of synchronization skeletons for branching time temporal logic",
 booktitle    = "Logics of Programs Workshop, New York, May 1981",
 series       = "LNCS",
 volume       = "131",
 publisher    = "Springer Verlag",
 pages        = "52--71",
 doi          = "10.1007/BFb0025774",
)
@inproceedings(CousotCousot79-1,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "1979",
 title        = "Systematic design of program analysis frameworks",
 booktitle    = "Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 publisher    = "ACM Press, New York, NY",
 address      = "San Antonio, Texas",
 pages        = "269--282",
 doi          = "10.1145/567752.567778",
)
@article(DeMoura:2011ff,
 author       = "Leonardo De Moura and Nikolaj Bj{\o }rner",
 year         = "2011",
 title        = "{Satisfiability modulo theories: introduction and applications}",
 journal      = "Communications of the ACM",
 volume       = "54",
 number       = "9",
 doi          = "10.1145/1995376.1995394",
)
@article(dkw2008,
 author       = "Vijay D'Silva and Daniel Kroening and Georg Weissenbacher",
 year         = "2008",
 title        = "A Survey of Automated Techniques for Formal Software Verification",
 journal      = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)",
 volume       = "27",
 number       = "7",
 pages        = "1165--1178",
 doi          = "10.1109/TCAD.2008.923410",
)
@inproceedings(FHJLR07,
 author       = "Ansgar Fehnker and Ralf Huuck and Patrick Jayet and Michel Lussenburg and Felix Rauch",
 year         = "2007",
 title        = "Model Checking Software at Compile Time",
 booktitle    = "Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering",
 series       = "TASE '07",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "45--56",
 doi          = "10.1109/TASE.2007.34",
)
@incollection(Junker:2012,
 author       = "Maximilian Junker and Ralf Huuck and Ansgar Fehnker and Alexander Knapp",
 year         = "2012",
 title        = "SMT-based False Positive Elimination in Static Program Analysis",
 editor       = "Toshiaki Aoki and Kenji Taguchi",
 booktitle    = "14th International Conference on Formal Engineering Methods, Kyoto Japan",
 series       = "Lecture Notes in Computer Science",
 volume       = "7635",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "316--331",
 doi          = "10.1007/978-3-642-34281-3\_23",
)
@inproceedings(queillesifakis82,
 author       = "Jean-Pierre Queille and Joseph Sifakis",
 year         = "1982",
 title        = "Specification and verification of concurrent systems in {CESAR}",
 booktitle    = "Proc. Intl. Symposium on Programming, April 6--8",
 publisher    = "Springer Verlag",
 pages        = "337--350",
 doi          = "10.1007/3-540-11494-7\_22",
)
@book(seacord2008cert,
 author       = "Robert C. Seacord",
 year         = "2008",
 title        = "The CERT C Secure Coding Standard",
 edition      = "1st",
 publisher    = "Addison-Wesley Professional",
)