Drupal-Bibcite<style face="normal" font="default" size="100%">Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study</style>