Text this: Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study /