P. Ballarini, B. Barbot, M. Duflot, S. Haddad, and N. Pekergin, Hasl: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, pp.53-77, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01221815

H. Casanova, A. Giersch, A. Legrand, M. Quinson, and F. Suter, Versatile, scalable, and accurate simulation of distributed applications and platforms, Journal of Parallel and Distributed Computing, vol.74, issue.10, pp.2899-2917, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01017319

Y. S. Chow and H. Robbins, On the asymptotic theory of fixed-width sequential confidence intervals for the mean, Ann. Math. Statist, vol.36, issue.2, pp.457-462, 1965.

B. Cohen, The bittorrent protocol specification, 2008.

M. Guthmuller, G. Corona, and M. Quinson, System-level state equality detection for the formal dynamic verification of legacy distributed applications, J. Log. Algebraic Methods Program, vol.96, pp.1-11, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01900120

W. Hoeffding, Probability inequalities for sums of bounded random variables, Journal of the American Statistical Association, vol.58, issue.301, pp.13-30, 1963.

J. Hoffmann, Superseeding, 2008.

M. Kwiatkowska, G. Norman, and D. Parker, Prism 4.0: Verification of probabilistic real-time systems, Computer Aided Verification, pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

S. Merz, M. Quinson, R. , and C. , Simgrid mc: Verification support for a multi-api simulation platform, Formal Techniques for Distributed Systems, pp.274-288, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00593505

C. Testa, D. Rossi, A. Rao, and A. Legout, Experimental assessment of bittorrent completion time in heterogeneous tcp/utp swarms, Traffic Monitoring and Analysis, pp.52-65, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00795818