@incollection(arbab2002,
 author       = {Farhad Arbab},
 year         = {2003},
 title        = {Abstract Behavior Types: A Foundation Model for Components and Their Composition},
 editor       = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem-Paul de Roever},
 booktitle    = {Formal Methods for Components and Objects},
 series       = {Lecture Notes in Computer Science},
 volume       = {2852},
 publisher    = {Springer},
 pages        = {33--70},
 doi          = {10.1007/978-3-540-39656-7\_2},
)
@article(arbab04,
 author       = {Farhad Arbab},
 year         = {2004},
 title        = {Reo: a channel-based coordination model for component composition},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {3},
 pages        = {329--366},
 doi          = {10.1017/S0960129504004153},
)
@incollection(arbab2009,
 author       = {Farhad Arbab and Tom Chothia and Rob van der Mei and Sun Meng and YoungJoo Moon and Chr\'{e}tien Verhoef},
 year         = {2009},
 title        = {From Coordination to Stochastic Models of {QoS}},
 editor       = {John Field and Vasco Vasconcelos},
 booktitle    = {Coordination Models and Languages},
 series       = {Lecture Notes in Computer Science},
 volume       = {5521},
 publisher    = {Springer},
 pages        = {268--287},
 doi          = {10.1007/978-3-642-02053-7\_14},
)
@article(aziz2000,
 author       = {Adnan Aziz and Kumud Sanwal and Vigyan Singhal and Robert Brayton},
 year         = {2000},
 title        = {Model-checking continuous-time Markov chains},
 journal      = {Transactions on Computational Logic},
 volume       = {1},
 pages        = {162--170},
 doi          = {10.1145/343369.343402},
)
@article(baeten2005,
 author       = {Jos C. M. Baeten},
 year         = {2005},
 title        = {A brief history of process algebra},
 journal      = {Theoretical Computer Science},
 volume       = {335},
 number       = {2-3},
 pages        = {131--146},
 doi          = {10.1016/j.tcs.2004.07.036},
)
@article(baier2003,
 author       = {Christel Baier and Boudewijn Haverkort and Holger Hermanns and Joost P. Katoen},
 year         = {2003},
 title        = {{Model-Checking} Algorithms for {Continuous-Time} Markov Chains},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {29},
 number       = {6},
 pages        = {524--541},
 doi          = {10.1109/TSE.2003.1205180},
)
@article(bonsangue2012,
 author       = {Marcello M. Bonsangue and Dave Clarke and Alexandra Silva},
 year         = {2012},
 title        = {A model of context-dependent component connectors},
 journal      = {Science of Computer Programming},
 volume       = {77},
 number       = {6},
 pages        = {685--706},
 doi          = {10.1016/j.scico.2011.01.006},
)
@article(GC92,
 author       = {D. Gelernter and N. Carrier},
 year         = {1992},
 title        = {Coordination Languages and their significance},
 journal      = {Communication of the ACM},
 volume       = {2},
 number       = {35},
 pages        = {97--107},
 doi          = {10.1145/129630.129635},
)
@book(hermanns2002,
 author       = {Holger Hermanns},
 year         = {2002},
 title        = {Interactive Markov Chains: The Quest for Quantified Quality},
 series       = {Lecture Notes in Computer Science},
 volume       = {2428},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/3-540-45804-2\_7},
)
@phdthesis(moon2011,
 author       = {Young-Joo Moon},
 year         = {2011},
 title        = {Stochastic Models for Quality of Service of Component Connectors},
 school       = {Universiteit Leiden},
)
@article(moon2014,
 author       = {Young-Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab},
 year         = {2014},
 title        = {A compositional model to reason about end-to-end {QoS} in Stochastic Reo connectors},
 journal      = {Science of Computer Programming},
 volume       = {80},
 pages        = {3--24},
 doi          = {10.1016/j.scico.2011.11.007},
)
@phdthesis(Olitese13,
 author       = {Nuno Oliveira},
 year         = {2015},
 title        = {Architectural reconfiguration of interacting services},
 school       = {Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme)},
)
@article(OSB15,
 author       = {Nuno Oliveira and Alexandra Silva and Luis S. Barbosa},
 year         = {2015},
 title        = {$\mathsf{IMC_{Reo}}$: interactive {Markov} chains for stochastic {Reo}},
 journal      = {Journal of Internet Services and Information Security},
 volume       = {5},
 number       = {1},
 pages        = {3--28},
)