ATGPS using real value logic simulation | IEEE Conference Publication | IEEE Xplore