I'm thinking of reviving a long dead project to build a GPSDO. The last time I looked, state of the art for GPS receivers was things like the Motorola Oncore UT+ or the Trimble Resolution T. It's been 10 years (at least). What better options, if any, are available today?