Vitalsource Technologies, Inc. Reliability Modelling And Analysis In Discrete Time