Without reading the article it reminds me of the famous software glitch of the Patriot defense system, to work around a rounding error bug it was required to reboot the system if used for not so many hours...