Resistively and capacitively shunted junction (RCSJ) model. The McCumber parameter β controls hysteresis. Phase dynamics obey the pendulum equation.