A language for the internet of underwater things [News] | IEEE Journals & Magazine | IEEE Xplore