A. Dunkels, B. Gronvall, and T. Voigt, Contiki - a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks
DOI : 10.1109/LCN.2004.38

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective. Formal Asp, Comput, vol.27, issue.3, pp.573-609, 2015.

G. Montenegro, N. Kushalnagar, J. Hui, and D. Culler, Transmission of IPv6 packets over IEEE 802.15.4 networks, RFC, vol.4944, 2007.
DOI : 10.17487/rfc4944

A. Blanchard, N. Kosmatov, M. Lemerre, and F. Loulergue, A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C, p.2015
DOI : 10.1007/978-3-319-19458-5_2

P. Baudin, P. Cuoq, J. C. Filliâtre, C. Marché, B. Monate et al., ACSL: ANSI/ISO C Specification Language