Underwater Glider Embedded Control System Design Based on QNX Real-time Kernel | IEEE Conference Publication | IEEE Xplore