Arduino code for using the Arduinix Nixie shield with a GPS for time synchonisation and timer interrupts for stable tube multiplexing