Vitalsource Technologies, Inc. Deterministic Flexibility Analysis