Linear Analysis of Stochastic Verlet-Type Integrators for Langevin Equations | Synapse