Optimistic concurrency control in self-organizing networks using automatic coordination and verification.