O erro de software mais mortal da história: o caso do Terac-25