%0 Journal Article %J IEEE Transactions on Software Engineering %D 1999 %T Structured Solution of Asynchronously Communicating Stochastic Modules %A J. Campos %A S. Donatelli %A M. Silva %P 147-165 %V 25 %8 3