I was reading some articles on the analysis of electron neutrino mass limit from the SN1987A data: Bachcall & Glashow, Arnett. They both used the principle that if the electron neutrino has a non-zero mass, higher energy neutrinos will arrive before lower energy ones, with the time difference given by $\Delta t=\frac { { m }^{ 2 } }{ { E }^{ 2 } } D\frac { \Delta E }{ E } $.
However, as I understand it, for the formula to work, the neutrino has to have one definite mass m throughout the propagation. But neutrino is mixed, an electron neutrino is a superposition of three mass states $v_1$, $v_2$, and $v_3$, and oscillates as it travels. So an electron neutrino has no definite mass, how can we derive a limit on electron neutrino mass from this formula? And what does this type of analysis tell us about the mass limit on $m_1$, $m_2$, and $m_3$ separately? Thank you in advance.