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. Van-der-mei, S. Meng, Y. Moon et al., From Cooridination to Stochastic Models of QoS, Proceedings of COORDINATION'09, pp.268-287, 2009.

C. Baier, M. Sirjani, F. Arbab, and J. J. Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.6175-113, 2006.
DOI : 10.1016/j.scico.2005.10.008

M. Kwiatkowska, Quantitative verification: Models, techniques and tools, Proceedings of ESEC/FSE 2007, pp.449-458, 2007.
DOI : 10.1145/1287624.1287688