First Principle Modeling of a Morphable Unmanned Aerial-Aquatic Vehicle: Mirs-Alioth | IEEE Conference Publication | IEEE Xplore