@article {CDS-TSE-99,
	title = {Structured Solution of Asynchronously Communicating Stochastic Modules},
	journal = {IEEE Transactions on Software Engineering},
	volume = {25},
	year = {1999},
	month = {3},
	pages = {147-165},
	author = {J. Campos and S. Donatelli and M. Silva}
}

