I have an Arduino in a circuit producing 1 KHz sine wave and a way to control when the signal is high or low to meet the IRIG-B levels. Has anyone produced code for Arduino to take the time read from a GPS receiver setup to produce IRIG-B127. I need to basically amplitude modulate the 1 KHz to produce the code sequence of IRIG-B127.