Roriz, A., Rodrigues, G., & Laranjeira, L. (2014). Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems. In Proceedings of the 8th Brazilian Symposium on Software Components, Architectures, and Reuse, (pp. 105-114). Porto Alegre: SBC.