Text this: Model-Based Control Design and Integration of Cyberphysical Systems: An Adaptive Cruise Control Case Study