GIS-Based Simulation Methodology for Evaluating Ship Encounters Probability to Improve Maritime Traffic Safety | IEEE Journals & Magazine | IEEE Xplore