@inproceedings(ABBM10,
 author       = "M. F. Atig and A. Bouajjani and S. Burckhardt and M. Musuvathi",
 year         = "2010",
 title        = "On the verification problem for weak memory models",
 booktitle    = "Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
 series       = "POPL '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "7--18",
 doi          = "10.1145/1706299.1706303",
)
@misc(atmega16,
 author       = "{Atmel Corporation}",
 year         = "2009",
 title        = "The {A}tmel 8-bit {AVR} {M}icrocontroller with {16K} {B}ytes of {I}n-system {P}rogrammable {F}lash",
 note         = "\url {www.atmel.com/atmel/acrobat/doc2466.pdf}",
)
@article(BBK12,
 author       = "E. Beckschulze and J. Brauer and S. Kowalewski",
 year         = "2012",
 title        = "Access-Based Localization for Octagons",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "287",
 number       = "0",
 pages        = "29 -- 40",
 doi          = "10.1016/j.entcs.2012.09.004",
 note         = "Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, (NSAD 2012)",
)
@inproceedings(BBSK11,
 author       = "E. Beckschulze and J. Brauer and A. Stollenwerk and S. Kowalewski",
 year         = "2011",
 title        = "Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations",
 booktitle    = "14th IEEE Int. Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops",
 publisher    = "IEEE",
 pages        = "33--40",
 doi          = "10.1109/ISORCW.2011.40",
)
@inproceedings(BA08,
 author       = "H.-J. Boehm and S. V. Adve",
 year         = "2008",
 title        = "Foundations of the C++ concurrency memory model",
 booktitle    = "Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation",
 series       = "PLDI '08",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "68--78",
 doi          = "10.1145/1375581.1375591",
)
@phdthesis(Coo08,
 author       = "N. Cooprider",
 year         = "2008",
 title        = "Data-flow analysis for interrupt-driven microcontroller software",
 school       = "The University of Utah",
 address      = "Salt Lake City, UT, USA",
)
@inproceedings(CC77,
 author       = "P. Cousot and R. Cousot",
 year         = "1977",
 title        = "Abstract {I}nterpretation: {A} {U}nified {L}attice Model for {S}tatic {A}nalysis of {P}rograms by {C}onstruction or {A}pproximation of {F}ixpoints",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@inproceedings(FHST09,
 author       = "A. Fehnker and R. Huuck and B. Schlich and M. Tapp",
 year         = "2009",
 title        = "Automatic Bug Detection in Microcontroller Software by Static Program Analysis",
 booktitle    = "SOFSEM 2009: Theory and Practise of Computer Science,Spindleruv Ml\'{y}n, Czech Republic",
 series       = "Lecture Notes in Computer Science",
 volume       = "5404",
 publisher    = "Springer",
 pages        = "267--278",
 doi          = "10.1007/978-3-540-95891-8\_26",
)
@book(God96,
 author       = "P. Godefroid",
 year         = "1996",
 title        = "Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem",
 series       = "LNCS",
 volume       = "1032",
 publisher    = "Springer",
 doi          = "10.1007/3-540-60761-7",
)
@conference(ThomasEHart2006a,
 author       = "T. E. Hart and P. E. McKenney and A. D. Brown",
 year         = "2006",
 title        = "Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation",
 booktitle    = "20th {IEEE} International Parallel and Distributed Processing Symposium",
 address      = "Rhodes, Greece",
 doi          = "10.1109/IPDPS.2006.1639261",
)
@book(c99,
 author       = "{ISO}",
 year         = "1999",
 title        = "{ANSI/\penalty \exhyphenpenalty ISO/\penalty \exhyphenpenalty IEC 9899-1999}: Programming Languages --- {C}",
 publisher    = "International Organization for Standardization",
 address      = "Geneva, Switzerland",
)
@misc(MA04,
 author       = "S. Meyers and A. Alexandrescu",
 year         = "2004",
 title        = "C++ and the perils of double-checked locking",
 howpublished = "http://www.aristeia.com/Papers/DDJ\_Jul\_Aug\_2004\_revised.pdf",
)
@article(Min06,
 author       = "A. Min{\'e}",
 year         = "2006",
 title        = "The Octagon Abstract Domain",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "19",
 number       = "1",
 pages        = "31--100",
 doi          = "10.1007/s10990-006-8609-1",
)
@article(Min12,
 author       = "A. Min\'e",
 year         = "2012",
 title        = "Static Analysis of Run-Time Errors in Embedded Real-Time Parallel {C} Programs",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "1--26",
 pages        = "1--63",
)
@inproceedings(OBY11,
 author       = "H. Oh and L. Brutschy and K. Yi",
 year         = "2011",
 title        = "Access analysis-based tight localization of abstract memories",
 booktitle    = "Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation",
 series       = "VMCAI'11",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "356--370",
 doi          = "10.1007/978-3-642-18275-4\_25",
)
@article(PFH11,
 author       = "P. Pratikakis and J. S. Foster and M. Hicks",
 year         = "2011",
 title        = "LOCKSMITH: Practical static race detection for C",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "33",
 number       = "1",
 pages        = "3:1--3:55",
 doi          = "10.1145/1889997.1890000",
)
@article(RC07,
 author       = "J. Regehr and N. Cooprider",
 year         = "2007",
 title        = "Interrupt Verification via Thread Verification",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "174",
 number       = "9",
 pages        = "139--150",
 doi          = "10.1016/j.entcs.2007.04.002",
)
@inproceedings(SNBB09,
 author       = "B. Schlich and T. Noll and J. Brauer and L. Brutschy",
 year         = "2009",
 title        = "Reduction of Interrupt Handler Executions for Model Checking Embedded Software",
 booktitle    = "Haifa Verification Conference (HVC 2009), Haifa, Israel",
 series       = "LNCS",
 volume       = "6405",
 publisher    = "Springer",
 pages        = "5--20",
 doi          = "10.1007/978-3-642-19237-1\_5",
)