Description of a GNSS availability model and its use in developing requirements | IEEE Journals & Magazine | IEEE Xplore