F. Assegei, Decentralized frame synchronization of a TDMA-based wireless sensor network, 2008.

H. C. Bohnenkamp, P. R. D-'argenio, H. Hermanns, and J. P. Katoen, MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems, IEEE Transactions on Software Engineering, vol.32, issue.10, pp.812-830, 2006.
DOI : 10.1109/TSE.2006.104

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

P. E. Bulychev, A. David, K. G. Larsen, A. Legay, M. Mikucionis et al., Checking and Distributing Statistical Model Checking, NFM 2012, 2012.
DOI : 10.1007/978-3-642-28891-3_39

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Statistical Model Checking for Networks of Priced Timed Automata, FORMATS 2011, pp.80-96, 2011.
DOI : 10.1145/1755952.1755987

A. David, K. G. Larsen, A. Legay, M. Mikucionis, and Z. Wang, Time for Statistical Model Checking of Real-Time Systems, CAV 2011, pp.349-355, 2011.
DOI : 10.1007/s10009-005-0187-8

F. Heidarian, J. Schmaltz, and F. W. Vaandrager, Analysis of a clock synchronization protocol for wireless sensor networks, Theoretical Computer Science, vol.413, issue.1, pp.87-105, 2012.
DOI : 10.1016/j.tcs.2011.07.018

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, CAV 2011, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17

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

G. Norman, D. Parker, and J. Sproston, Model checking for probabilistic timed automata, Formal Methods in System Design, vol.26, issue.3, 2012.
DOI : 10.1007/s10703-012-0177-x

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

B. Sundararaman, U. Buy, and A. D. Kshemkalyani, Clock synchronization for wireless sensor networks: a survey, Ad Hoc Networks, vol.3, issue.3, pp.281-323, 2005.
DOI : 10.1016/j.adhoc.2005.01.002

I. Van-vessem, WSN gMAC protocol specifications, Tech. rep., CHESS B.V, vol.250, p.40, 2008.

Y. C. Wu, Q. M. Chaudhari, and E. Serpedin, Clock Synchronization of Wireless Sensor Networks, IEEE Signal Processing Magazine, vol.28, issue.1, pp.124-138, 2011.
DOI : 10.1109/MSP.2010.938757

H. Yue, H. C. Bohnenkamp, and J. P. Katoen, Analyzing Energy Consumption in a Gossiping MAC Protocol, MMB&DFT 2010, pp.107-119, 2010.
DOI : 10.1007/978-3-642-12104-3_10

J. Zhao and R. Govindan, Understanding packet delivery performance in dense wireless sensor networks, Proceedings of the first international conference on Embedded networked sensor systems , SenSys '03, pp.1-13, 2003.
DOI : 10.1145/958491.958493