Probabilistic verification of hierarchical leader election protocol in dynamic systems
scientific article; zbMATH DE number 7008379