Convergence properties of a method for state estimation in power systems | Synapse