Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems. - Alexandre Vaz Roriz; Genaína Nunes Rodrigues; Luiz A. Laranjeira (SBCARS, 2014)