This repo belongs to our paper entitled "Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm". The paper is online and can be accessed via the following link: https://ieeexplore.ieee.org/abstract/document/8397163/