A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach - Van Thuan Truong; Ngoc Tam Bui; Ngo Van Hien (Journal of Advanced Transportation, 2020)