@article {OSB15,
	title = {IMCReo: interactive Markov chains for Stochastic Reo},
	journal = {Journal of Internet Services and Information Security (JISIS)},
	volume = {5},
	year = {2015},
	pages = {3-28},
	publisher = {IPP},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/osb15.pdf},
	author = {Nuno Oliveira and Alexandra Silva and Luis Soares Barbosa}
}