Farhad Arbab Sun Meng Young-Joo Moon Marta Z. Kwiatkowska Hongyang Qu Reo2MC: a tool chain for performance analysis of coordination models. 287-288 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595745 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#ArbabMMKQ09