Modeling and Analysis of Real Time Control Systems: A Cruise Control System Case Study