On the formation of degenerate heavy neutrino stars