Cyber-physical systems modeling method based on Modelica | IEEE Conference Publication | IEEE Xplore