'Abort' function likely saved astronauts' live