SHIPNET: a real-time local area network for ships | IEEE Conference Publication | IEEE Xplore