Modeling and simulation of aircraft power supply system based on Dymola and Modelica | IEEE Conference Publication | IEEE Xplore