Real-time GIS for marine applications [Monograph] Marine and coastal geographical information systems