Regular Paper A Universal Self-Stabilizing Mutual Exclusion Algorithm