Uppaal examples for the paper Spiking Neural Networks modelled as Timed Automata: examples.zip