31 J. Campos S. Donatelli M. Silva 1999 Structured Solution of Asynchronously Communicating Stochastic Modules IEEE Transactions on Software Engineering 25 147-165 3