On the Performance of Beauquier and Debas' Self-stabilizing Algorithm for Mutual Exclusion