The difference between using computers for voting and for flying airplanes is that you know when the airplane crashes

[David L Dill; Professor of Computer Science, Stanford University]