DEVS-Based Modeling and Simulation of Data-Driven Exploration Algorithms of Lentic Water Bodies with AN ASV | IEEE Conference Publication | IEEE Xplore