The GPS output may be in any format imaginable. It is possible with a GPS to discipline yy:mm:dd:hh:mm:ss.ssssss, OR, you can use the PPS signal alone. Usually the PPS signal, if there is one on any particular GPS unit, uses the rising edge as the alignment to the GPS second, which is about 13s different than the actual time.
To get this to work requires computational logic, an interface to join the GPS unit and TCXO chip together to be manipulated at the same TTL level. (GPS is frequently designed around the RS232 protocol--serial port.) There's just too much juggling of analog signals necessary. So, you need some sort of CPU to keep track of everything and do your work for you.
You must understand how the GPS unit communicates, unless you're only going to use the PPS signal. But you still must know then the PPS pulse width, or preferably adjust it to some reasonable, easy to use length in milliseconds. Most GPS disciplined XO's are sync'ed once or twice per day. The error is tracked and slow adjustment is applied by external means.
The GPS PPS standard is part of the GPS protocol. It is theoretically accurate to 10^-12s. 10^-6s is usually more realistic. Although algorithmic corrections can be applied using software. Since GPS is analog, manipulating it properly requires conversion to a digital approximation. I once messed around with precision time keeping. What you're attempting is not incredibly difficult, but the benefit over pure GPS PPS is questionable.