Ground penetrating radar tomography: algorithms and case studies | IEEE Journals & Magazine | IEEE Xplore