Research on Fault Modeling and Simulation of ROV Electric Propulsion System Based on Modelica | IEEE Conference Publication | IEEE Xplore