Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms