Exact Subthreshold Integration with Continuous Spike Times in Discrete-Time Neural Network Simulations