H. Software, . Cross, . Mapping, . {g-hw-=-{v, E. Hw et al., Algorithm 1: Software Automaton to Physical Device Mapping Algorithm input, Mapping Set M, vol.126, issue.22, pp.183-235, 1994.

A. Bachir, D. Barthel, M. Heusse, and A. Duda, Microframe preamble mac for multihop wireless sensor networks, Communications, 2006. ICC '06. IEEE International Conference on, pp.3365-3370, 2006.

A. Bachir, L. Samper, D. Barthel, M. Heusse, and A. Duda, Link Cost and Reliability of Frame Preamble MAC Protocols, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, pp.632-638, 2006.
DOI : 10.1109/SAHCN.2006.288523

A. Barroso, U. Roedig, and C. Sreenan, mu;-mac: an energy-efficient medium access control for wireless sensor networks, Wireless Sensor Networks, 2005. Proceeedings of the Second European Workshop on, pp.70-80, 2005.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lectures on Concurrency and Petri Nets, p.38, 2004.
DOI : 10.1007/978-3-540-27755-2_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701

N. Berthier, F. Maraninchi, and L. Mounier, Synchronous programming of device drivers for global resource control in embedded operating systems, ACM SIGPLAN Notices, vol.46, issue.5, pp.81-90
DOI : 10.1145/2016603.1967689

URL : https://hal.archives-ouvertes.fr/tel-00727281

S. Bhatti, J. Carlson, H. Dai, J. Deng, J. Rose et al., MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms, ACM/Kluwer Mobile Networks and Applications (MONET), Special Issue on Wireless Sensor Networks, pp.2005-80, 2005.
DOI : 10.1007/s11036-005-1567-8

G. Bianchi, Performance analysis of the IEEE 802.11 distributed coordination function, IEEE Journal on Selected Areas in Communications, vol.18, issue.3, pp.535-547, 2000.
DOI : 10.1109/49.840210

P. Bouyer, E. Brinksma, and K. G. Larsen, Optimal infinite scheduling for multi-priced timed automata, Formal Methods in System Design, vol.158, issue.1???2, pp.3-23, 2008.
DOI : 10.1007/s10703-007-0043-4

C. Burin-des-rosiers, G. Chelius, E. Fleury, A. Fraboulet, A. Gallais et al., SensLAB Very Large Scale Open Wireless Sensor Network Testbed, Proc. 7th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCOM), 1984.
URL : https://hal.archives-ouvertes.fr/inria-00587862

D. R. Butenhof, Programming with POSIX threads

A. Chis, E. Fleury, A. Fraboulet, ]. A. Chis, E. Fleury et al., An optimized mac layer to physical device mapping methodology Cross-layer optimization for mac layer to physical device communication protocol mapping, Mobility '09: Proceedings of the 6th International Conference on Mobile Technology, Application and Systems Proceedings of the 19th International Conference on Real-Time and Network Systems (RTNS'11 Proceedings of 19th International Conference on Real-Time and Network Systems (RTNS11), pp.1-8, 2009.

C. L. Conway, Ndl: a domain-specific language for device drivers, Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES, pp.30-36, 2004.

A. Courbot, G. Grimaud, J. Vandewalle, and D. Simplot-ryl, Application-Driven Customization of an Embedded Java Virtual Machine, EUC Workshops, pp.81-90, 2005.
DOI : 10.1007/11596042_9

URL : https://hal.archives-ouvertes.fr/inria-00113691

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, pp.455-462, 2004.
DOI : 10.1109/LCN.2004.38

A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, pp.29-42, 2006.
DOI : 10.1145/1182807.1182811

C. Enz, A. El-hoiydi, J. Decotignie, and V. Peiris, WiseNET: an ultralow-power wireless sensor network solution, Computer, vol.37, issue.8, pp.62-70, 2004.
DOI : 10.1109/MC.2004.109

G. Feltrin, O. Saukh, R. Bischoff, J. Meyer, and M. Motavalli, Structural monitoring with wireless sensor networks, Proceedings of First Middle East Conference on Smart Monitoring , Assessment and Rehabilitation of Civil Structures SMAR, 2011.
DOI : 10.1201/b10430-147

E. Fleury and D. Simplot-ryl, Réseaux de capteurs : théorie et modélisation, Architecture, Applications, Service . Hermes, issue.7, 2009.

A. Fraboulet, G. Chelius, and E. Fleury, Worldsens, Proceedings of the 6th international conference on Information processing in sensor networks , IPSN '07, p.79, 2007.
DOI : 10.1145/1236360.1236385

URL : https://hal.archives-ouvertes.fr/hal-00399617

A. Friggeri, G. Chelius, E. Fleury, A. Fraboulet, F. Mentré et al., Reconstructing social interactions using an unreliable wireless sensor network, Computer Communications, vol.34, issue.5, pp.609-618, 2009.
DOI : 10.1016/j.comcom.2010.06.005

URL : https://hal.archives-ouvertes.fr/inria-00490195

D. Gay, P. Levis, R. Von-behren, M. Welsh, E. Brewer et al., The nesc language: A holistic approach to networked embedded systems, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, PLDI '03, pp.1-11, 2003.

J. Hill and D. Culler, Mica: a wireless platform for deeply embedded networks, IEEE Micro, vol.22, issue.6, pp.12-24, 2002.
DOI : 10.1109/MM.2002.1134340

J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler et al., System architecture directions for networked sensors, ACM SIGPLAN Notices, vol.35, issue.11, pp.93-104, 2000.
DOI : 10.1145/356989.356998

D. C. Joseph-polastre and J. Hill, Versatile low power media access for wireless sensor networks, SenSys, p.27, 2004.

H. Karl and A. Willig, Protocols and Architectures for Wireless Sensor Networks, 2005.
DOI : 10.1002/0470095121

K. G. Larsen, G. Behrmann, E. Brinksma, A. Fehnker, T. Hune et al., As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata, CAV, p.22, 2001.
DOI : 10.1007/3-540-44585-4_47

K. Lorincz, M. Welsh, O. Marcillo, J. Johnson, M. Ruiz et al., Deploying a wireless sensor network on an active volcano, IEEE Internet Computing, pp.18-25, 2006.

G. S. Lueker, Two NP-complete problems in nonnegative integer programming, p.45, 1975.

F. Mérillon, L. Réveilì-ere, C. Consel, R. Marlet, and G. Muller, Devil: an IDL for hardware programming, OSDI. USENIX, p.20, 2000.

R. S. Oliver, I. Shcherbakov, and G. Fohler, An operating system abstraction layer for portable applications in wireless sensor networks, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.742-748, 2010.
DOI : 10.1145/1774088.1774243

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.666.1988

M. O. Nils and A. Jantsch, Operating system sensitive device driver synthesis from implementation independent protocol specification, DATE. ACM, 1920.

J. Polastre, R. Szewczyk, and D. Culler, Telos: enabling ultra-low power wireless research, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005., pp.364-369, 2005.
DOI : 10.1109/IPSN.2005.1440950

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.9568

I. Rhee, A. Warrier, M. Aia, J. Min, and M. Sichitiu, Z-MAC, Proceedings of the 3rd international conference on Embedded networked sensor systems , SenSys '05, pp.511-524, 2008.
DOI : 10.1145/1098918.1098929

R. Barry, The FreeRTOS Project. online http://www.freertos.org, p.58, 2011.

R. , S. Oliver, and G. Fohler, Timeliness in wireless sensor networks: Common misconceptions, Proceedings of the 9th International Workshop on Real-Time Networks RTN'2010, 2002.

G. Simon, M. Marti, G. Kos-ldeczi, B. Balogh, A. Kusy et al., Sensor network-based countersniper system, Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, pp.1-12, 2004.
DOI : 10.1145/1031495.1031497

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.324.683

R. Szewczyk, A. Mainwaring, J. Polastre, J. Anderson, and D. Culler, An analysis of a large scale habitat monitoring application, Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, pp.214-226, 2004.
DOI : 10.1145/1031495.1031521

I. Talzi, A. Hasler, S. Gruber, and C. Tschudin, PermaSense, Proceedings of the 4th workshop on Embedded networked sensors, EmNets '07, pp.8-12, 2007.
DOI : 10.1145/1278972.1278974

G. Tolle, J. Polastre, R. Szewczyk, D. Culler, N. Turner et al., A macroscope in the redwoods, Proceedings of the 3rd international conference on Embedded networked sensor systems , SenSys '05, pp.51-63, 2005.
DOI : 10.1145/1098918.1098925

S. L. Torre, S. Mukhopadhyay, and A. Murano, Optimalreachability and control for acyclic weighted timed automata, TCS. IFIP, p.22, 2002.
DOI : 10.1007/978-0-387-35608-2_40

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.4933

T. Van-dam and K. Langendoen, An adaptive energyefficient mac protocol for wireless sensor networks, Proceedings of the 1st international conference on Embedded networked sensor systems, SenSys '03, pp.171-180, 2003.

D. Wagner and R. Wattenhofer, Algorithms for Sensor and Ad Hoc Networks: Advanced Lectures (Lecture Notes in Computer Science), 2007.
DOI : 10.1007/978-3-540-74991-2

W. Ye, J. Heidemann, and D. Estrin, An energy-efficient mac protocol for wireless sensor networks, INFO- COM 2002. Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies, pp.1567-1576, 2002.

J. Yick, B. Mukherjee, and D. Ghosal, Wireless sensor network survey, Computer Networks, vol.52, issue.12, pp.2292-2330, 2007.
DOI : 10.1016/j.comnet.2008.04.002