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