Oliveira N, Silva A, Barbosa LS.? 2015.??IMCReo: interactive Markov chains for Stochastic Reo. Journal of Internet Services and Information Security (JISIS). 5(1):3-28.