FPGA-based GPS controlled timing system with nanosecond accuracy and leap second support | IEEE Conference Publication | IEEE Xplore