Benchmarks for validating range-dependent seismo-acoustic propagation codes | IEEE Journals & Magazine | IEEE Xplore