F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

F. Arbab, T. Chothia, R. Mei, S. Meng, Y. J. Moon et al., From Coordination to Stochastic Models of QoS, Proc. of COORDINATION'09, pp.268-287, 2009.
DOI : 10.1007/978-1-4615-2367-3

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, Proceedings of TOOLS'02, pp.200-204, 2002.
DOI : 10.1007/3-540-46029-2_13

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

F. Arbab, T. Chothia, S. Meng, and Y. Moon, Component Connectors with QoS Guarantees, Proc. of COORNATION'07, pp.286-304, 2007.
DOI : 10.1007/978-3-540-72794-1_16

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

T. Chothia and J. Kleijn, Q-Automata: Modelling the Resource Usage of Concurrent Components, Electronic Notes in Theoretical Computer Science, vol.175, issue.2, pp.153-167, 2007.
DOI : 10.1016/j.entcs.2007.03.009

Y. J. Moon, A. Silva, C. Krause, and F. Arbab, A Compositional Semantics for Stochastic Reo Connectors, Proc. of FOCLASA'10, pp.93-107, 2010.
DOI : 10.4204/EPTCS.30.7

URL : http://arxiv.org/abs/1007.5094

F. Arbab, S. Meng, Y. Moon, M. Kwiatkowska, and H. Qu, Reo2MC, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.287-288, 2009.
DOI : 10.1145/1595696.1595745

URL : https://hal.archives-ouvertes.fr/inria-00458921

D. Clarke, D. Costa, and F. Arbab, Connector colouring I: Synchronisation and context dependency, Science of Computer Programming, vol.66, issue.3, pp.205-225, 2007.
DOI : 10.1016/j.scico.2007.01.009

URL : http://doi.org/10.1016/j.scico.2007.01.009

J. Proença, Deployment of Distributed Component Based Systems The Netherlands, 2011.

B. Gijsen, R. Van-der-mei, and J. Van-den-berg, An Integrated Performance Modeling Approach for Distributed Applications and ICT Systems, Computer Measurement, vol.2, pp.1997-471, 2003.

O. Boxma and H. Daduna, Sojourn times in queueing networks, Stochastic Analysis of Computer and Communication Systems, pp.401-450, 1990.

J. Rolia and K. Sevcik, The method of layers. Software Engineering, IEEE Transactions on, vol.21, issue.8, pp.689-700, 2002.

M. Woodside, J. Neilson, D. Petriu, and S. Majumdar, The stochastic rendezvous network model for performance of synchronous client-server-like distributed software . Computers, IEEE Transactions on, vol.44, issue.1, pp.20-34, 2002.

C. Smith, Performance Engineering of Software Systems, 1990.

P. Torrini, R. Heckel, and I. Ráth, Stochastic Simulation of Graph Transformation Systems, In: FASE, pp.154-157, 2010.
DOI : 10.1007/978-3-642-12029-9_11

A. Ledeczi, J. Davis, S. Neema, and A. Agrawal, Modeling methodology for integrated simulation of embedded systems, ACM Transactions on Modeling and Computer Simulation, vol.13, issue.1, pp.82-103, 2003.
DOI : 10.1145/778553.778557

S. Yacoub, B. Cukic, and H. Ammar, A scenario-based reliability anal. approach for component-based software. Reliability, IEEE Trans. on, vol.53, issue.4, pp.465-480, 2004.

S. Narayanan and S. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

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

A. Marsan, M. Conte, G. Balbo, and G. , A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984.
DOI : 10.1145/190.191

P. Haas, Stochastic petri nets: Modelling, stability, simulation, 2002.
DOI : 10.1007/b97265

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

G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets, Performance Evaluation, vol.24, issue.1-2, pp.47-68, 1995.
DOI : 10.1016/0166-5316(95)00008-L

G. Fishman, Principles of discrete event simulation, 1978.

P. W. Glynn, On the role of generalized semi-markov processes in simulation output analysis, Proc. WSC '83, pp.39-44, 1983.

O. Kanters, C. Verhoef, and M. Schut, QoS analysis by simulation in Reo, 2010.

Y. Moon, F. Arbab, A. Silva, A. Stam, and C. Verhoef, Stochastic Reo: A case Study, 2011.