Tight GNSS/INS integration as a constrained least-squares problem | IEEE Conference Publication | IEEE Xplore