Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm - Nia, Mehran Alidoost; Faghih, Fathiyeh (2018 Real-Time and Embedded Systems and Technologies (RTEST), Real-Time and Embedded Systems and Technologies (RTEST), 2018, 2018)