Verification of a Self-configuration Protocol for Distributed Applications in the Cloud