"Virhettä on periaatteessa mahdotonta havaita testaamalla ja manuaalisella kooditarkastuksella. Se löytyi synkronointialgoritmien automaattisella tarkistuksella."
639