E. Beckschulze, S. Biallas, and S. Kowalewski, Static Analysis of Lockless Microcontroller C Programs, SSV'12, pp.103-114, 2012.
DOI : 10.4204/EPTCS.102.10

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, PLDI'03, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

D. Brylow, N. Damgaard, and J. Palsberg, Static checking of interrupt-driven software, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.47-56, 2001.
DOI : 10.1109/ICSE.2001.919080

D. Brylow and J. Palsberg, Deadline analysis of interrupt-driven software, IEEE Transactions on Software Engineering, vol.30, issue.10, pp.634-655, 2004.
DOI : 10.1109/TSE.2004.64

S. Chaki, A. Gurfinkel, and O. Strichman, Verifying periodic programs with priority inheritance locks, 2013 Formal Methods in Computer-Aided Design, pp.137-144, 2013.
DOI : 10.1109/FMCAD.2013.6679402

N. Cooprider and J. Regehr, Pluggable abstract domains for analyzing embedded software, LCTES'06, pp.44-53, 2006.

P. Cousot and R. Cousot, Static determination of dynamic properties of programs, Proc. of the 2nd International Symposium on Programming, pp.106-130, 1976.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

S. A. Edwards, Tutorial, ACM Transactions on Design Automation of Electronic Systems, vol.8, issue.2
DOI : 10.1145/762488.762489

O. Inverso, E. Tomasco, B. Fischer, S. L. Torre, and G. Parlato, Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization, CAV'14, pp.585-602, 2014.
DOI : 10.1007/978-3-319-08867-9_39

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, CAV'09, pp.661-667
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354

N. Kidd, S. Jagannathan, and J. Vitek, One stack to run them all -reducing concurrent analysis to sequential analysis under priority scheduling, SPIN'10, pp.245-261

A. Lal, T. Touili, N. Kidd, and T. W. Reps, Interprocedural Analysis of Concurrent Programs Under a Context Bound, TACAS'08, pp.282-298, 2008.
DOI : 10.1007/978-3-540-78800-3_20

A. Miné, The octagon abstract domain. Higher-Order and Symbolic Computation, pp.31-100, 2006.

A. Miné, Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, ESOP'11, pp.398-418, 2011.
DOI : 10.1007/978-3-540-30538-5_4

A. Miné, Relational Thread-Modular Static Value Analysis by Abstract Interpretation, VMCAI'14, pp.39-58, 2014.
DOI : 10.1007/978-3-642-54013-4_3

D. Monniaux, Verification of device drivers and intelligent controllers, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.30-36, 2007.
DOI : 10.1145/1289927.1289937
URL : https://hal.archives-ouvertes.fr/hal-00158869

G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, CC'02, pp.213-228, 2002.
DOI : 10.1007/3-540-45937-5_16

S. Qadeer and D. Wu, KISS: keep it simple and sequential, PLDI'04, pp.14-24, 2004.

J. Regehr, A. Reid, and K. Webb, Eliminating stack overflow by abstract interpretation, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, pp.751-778, 2005.
DOI : 10.1145/1113830.1113833

M. D. Schwarz, H. Seidl, V. Vojdani, P. Lammich, and M. Müller-olm, Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol, POPL'11, pp.93-104, 2011.