. Alur, Hierarchical modeling and analysis of embedded systems, Proceedings of the IEEE, pp.11-28, 2003.
DOI : 10.1109/JPROC.2002.805817

. Asarin, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995.
DOI : 10.1016/0304-3975(94)00228-B

. Gaujal, &. Perronnin, . Bertin, and . Breslau, Web caching and Zipf-like distributions: Evidence and implications, Proceedings of IEEE INFO- COM '99, pp.126-134, 1999.

F. Clévenot and P. Nain, A simple fluid model for the analysis of the squirrel peer-to-peer caching system, IEEE INFOCOM 2004, 2004.
DOI : 10.1109/INFCOM.2004.1354484

F. Clévenot-perronnin, Fluid Models for Content Distribution Systems, 2005.

J. Dai, On Positive Harris Recurrence of Multiclass Queueing Networks: A Unified Approach Via Fluid Limit Models, The Annals of Applied Probability, vol.5, issue.1, pp.49-77, 1995.
DOI : 10.1214/aoap/1177004828

A. David, R. David, A. , and H. , Discrete, Continuous, and Hybrid Petri Nets, 2004.
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, Hybrid Systems : Computation and Control, pp.291-305, 2005.
DOI : 10.1007/978-3-540-31954-2_19
URL : https://hal.archives-ouvertes.fr/hal-00307003

. Iyer, Squirrel, Proceedings of the twenty-first annual symposium on Principles of distributed computing , PODC '02, pp.213-222, 2002.
DOI : 10.1145/571825.571861

. Press, Numerical Recipes in C, 1992.

W. Propp, D. Propp, and J. Wilson, Exact sampling with coupled Markov chains and applications to statistical mechanics, Random Structures and Algorithms, vol.9, issue.1-2, pp.223-252, 1996.
DOI : 10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO;2-O

. Rowstron, A. Rowstron, and P. Druschel, Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Proceedings of Int. Conf. on Distributed Systems Platforms (Middleware), 2001.
DOI : 10.1007/3-540-45518-3_18

. Tomlin, Computational Techniques for the Verification and Control of Hybrid Systems, Proceedings of the IEEE, pp.91986-1001, 2003.
DOI : 10.1007/3-540-27167-8_3

A. Walker, An Efficient Method for Generating Discrete Random Variables with General Distributions, ACM Transactions on Mathematical Software, vol.3, issue.3, pp.253-256, 1974.
DOI : 10.1145/355744.355749

I. Unité-de-recherche and I. Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. Editeur and . De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399