Analyzing neuronal networks using discrete-time dynamics