Text this: Modeling and analysis of IEEE 1609.4 MAC in the presence of error-prone channels