MEMS-based buoyancy and propelling mechanisms for a micro-submarine | IEEE Conference Publication | IEEE Xplore