Dissemination of weather information to emergency managers: a decision support tool | IEEE Journals & Magazine | IEEE Xplore