Silva A, Moon Y-J, Krause C, Arbab F.? 2014.??A Compositional Model to Reason About End- to- End QoS in Stochastic Reo Connectors. Science of Computer Programming. 80:3-24.