“…Using controlled execution, it is possible to force the order these executions. Considering to first execution (PCPC) the executed paths and their synchronizations are: 2,3,4,5,6,8,9,10,11,12} π 1 = {1, 2,3,4,5,6,8,9,10,11,3,4,5,6,7,8,9,10,11,12} π 2 = {1, 2,3,4,5,6,8,9,10,11,3,4,5,6,7,8,9,10,11 To illustrate a communication fault consider that avail was initialized with 1 (1 0 ) and all synchronizations are correct. This fault can be revealed with the execution of the required elements comm-c-use (7 2 , 7 2 , avail) and edge-s (9 2 , 5 2 ).…”