Spiking Neural Networks as Timed Automata