N. Abramson, Development of the ALOHANET, IEEE Transactions on Information Theory, vol.31, issue.2, pp.119-123, 1985.
DOI : 10.1109/TIT.1985.1057021

R. Alur and T. Henzinger, Reactive modules, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.207-218, 1996.
DOI : 10.1109/LICS.1996.561320

A. Demaille, T. Herault, and S. Peyronnet, Probabilistic verification of sensor networks, 2006 International Conference onResearch, Innovation and Vision for the Future
DOI : 10.1109/RIVF.2006.1696417

M. Duflot, L. Fribourg, T. Herault, R. Lassaigne, F. Magniette et al., Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC, Proc. of the Fourth International Workshop on Automated Verification of Critical Systems (AVOCS)
DOI : 10.1016/j.entcs.2005.04.012

T. Herault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking
DOI : 10.1007/978-3-540-24622-0_8

T. Herman and S. Tixeuil, A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks, Proc. of the First Workshop on Algorithmic Aspects of Wireless Sensor Networks (AlgoSensors'2004). LNCS 3121, pp.45-58, 2004.
DOI : 10.1007/978-3-540-27820-7_6

S. S. Kulkarni and M. Arumugam, SS-TDMA: A self-stabilizing MAC for sensor networks, Proc. of the 2nd Distributed Computing and Internet Technology (ICDCIT), pp.69-91, 2005.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02). LNCS 2324, 2002.
DOI : 10.1007/3-540-46029-2_13

M. Kwiatkowska, G. Norman, and J. Sproston, Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol, Proc. of the 2nd Int. Workshop PAPM-PROBMIV 2002. LNCS 2399, pp.169-187, 2002.
DOI : 10.1007/3-540-45605-8_11

M. Kwiatkowska, G. Norman, and J. Sproston, Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol, Formal Aspects of Computing, vol.14, issue.3, pp.295-318, 2003.
DOI : 10.1007/s001650300007

R. Lassaigne and S. Peyronnet, Probabilistic verification and approximation, Proc. of the 12th Workshop on Logic, Language, Information and Computation (Wollic). ENTCS 143, pp.101-114, 2006.
DOI : 10.1016/j.apal.2007.11.006
URL : http://doi.org/10.1016/j.apal.2007.11.006

N. Mitton, E. Fleury, I. Guerin-lassous, and S. Tixeuil, Self-stabilization in selforganized wireless multihop networks, Proc. of the 25th IEEE International Conference on Distributed Computing Systems Workshops (WWAN'05, pp.909-915, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00383720

D. Monniaux, An abstract Monte-Carlo method for the analysis of probabilistic programs, Proc. of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
URL : https://hal.archives-ouvertes.fr/hal-00128138

T. S. Rappaport, Wireless Communications. Principles and Practice, 1996.

H. Takagi and L. Kleinrock, Throughput Analysis for Persistent CSMA Systems, IEEE Transactions on Communications, vol.33, issue.7, pp.627-638, 1985.
DOI : 10.1109/TCOM.1985.1096355

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, Proc. of the 16th Computer Aided Verification (CAV). LNCS 3114, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

J. Wang and S. Keshav, Efficient and accurate Ethernet simulation, Proceedings 24th Conference on Local Computer Networks. LCN'99, pp.182-191, 1999.
DOI : 10.1109/LCN.1999.802015
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.1872

W. Ye and J. Heidemann, Medium Access Control in Wireless Sensor Networks, Wireless Sensor Networks, 2004.

H. L. Younes and R. G. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Proc. of the 16th Computer Aided Verification (CAV). LNCS 2404, pp.223-235, 2002.
DOI : 10.1007/3-540-45657-0_17