Modeling mobility database failure restoration using checkpoint schemes | IEEE Journals & Magazine | IEEE Xplore