They do this in planes, but with different coders for the three inputs in case of human coding error as well.

Unfortunately, humans tend to make similar errors at similar areas of code when given the same specs.