Vitalsource Technologies, Inc. Model-driven Risk Analysis