Moon Y-J, Arbab F, Silva A, Stam A, Verhoef C.? 2011.??Stochastic Reo: a case study. Proceedings of the 5th International Workshop on Harnessing Theories for Tool Support in Software (TTSS '11).