Vitalsource Technologies, Inc. Model Reduction Of Parametrized Systems