-- Implementation Relations for Stochastic Finite State Machines -- On the Convergence