From the Simulation to the Verification of Estelle Specifications