"Feilen er i utgangspunktet umulig å oppdage ved testing og manuell kodeinspeksjon. Det ble funnet av en automatisk sjekker av synkroniseringsalgoritmer."
669