Decentralized frame synchronization of a TDMA-based wireless sensor network, 2008. ,
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=10.1.1.488.1021
Checking and Distributing Statistical Model Checking, NFM 2012, 2012. ,
DOI : 10.1007/978-3-642-28891-3_39
Statistical Model Checking for Networks of Priced Timed Automata, FORMATS 2011, pp.80-96, 2011. ,
DOI : 10.1145/1755952.1755987
Time for Statistical Model Checking of Real-Time Systems, CAV 2011, pp.349-355, 2011. ,
DOI : 10.1007/s10009-005-0187-8
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
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
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=10.1.1.649.4883
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
WSN gMAC protocol specifications, Tech. rep., CHESS B.V, vol.250, p.40, 2008. ,
Clock Synchronization of Wireless Sensor Networks, IEEE Signal Processing Magazine, vol.28, issue.1, pp.124-138, 2011. ,
DOI : 10.1109/MSP.2010.938757
Analyzing Energy Consumption in a Gossiping MAC Protocol, MMB&DFT 2010, pp.107-119, 2010. ,
DOI : 10.1007/978-3-642-12104-3_10
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