A Framework for Modeling Underwater Vehicles in Modelica | IEEE Conference Publication | IEEE Xplore