A measurement tool for investigating cooling lava properties | IEEE Journals & Magazine | IEEE Xplore