Vitalsource Technologies, Inc. Functional Analysis Methods For Reliability Models