added example specification LeaderElection