Vitalsource Technologies, Inc. Large-scale System Analysis Under Uncertainty