LeaderElectionDKR82.promela 865 Bytes