Vitalsource Technologies, Inc. Mathematical Models For Systems Reliability