Model driven programming of autonomous floats for multidisciplinary monitoring of the oceans | IEEE Conference Publication | IEEE Xplore