An open source tool for simulation and supervision of underwater intervention missions | IEEE Conference Publication | IEEE Xplore