Modeling and Simulating CAN-Based Cyber-Physical Systems in Modelica | IEEE Conference Publication | IEEE Xplore