Vitalsource Technologies, Inc. Evaluating Voting Systems With Probability Models