I am currently writing my Bachelor Project about an ECG amplifier. Common mode voltage on the body has a much higher amplitude than an ECG signal. To attenuate common mode noise a differential amplifier is used. Furthermore, a circuit known as "Driven Right Leg circuit" is used further to attenuate common mode noise. It pretty much consists of a buffer and an inverting amplifier with a gain. The full driven right leg circuit is shown below. The input voltage is the common mode signal known in the simulation as \$V_\text{source}\$, and the output voltage is \$V_A \$.
I want to investigate the stability of this circuit. Since I use negative feedback there is a possibility that the system may be unstable and saturate. More specifically, the op amp U2 may become saturated.
My question: How can I mathematically (with equations or Bode Plots) determine if op amp U2 (and thereby the entire system) will be unstable?