Title: Automated Analysis of Mutual Exclusion Algorithms using CCS