Text this: A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach