Vitalsource Technologies, Inc. Probabilistic Reliability Models