Spiking Neuron Modeling – Iterative Specification