NavySim: A Multi-Vessel Simulation and Analysis Engine for Naval Domains | IEEE Conference Publication | IEEE Xplore