From Model Specification to Simulation of Biologically Constrained Networks of Spiking Neurons