@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} }