A software model for GPS receiver signal processing blocks used in educational environment | IEEE Conference Publication | IEEE Xplore