Vitalsource Technologies, Inc. Analysis And Optimization Of Differential Systems