A case study on the model-based design and integration of automotive cyber-physical systems | IEEE Conference Publication | IEEE Xplore