Vitalsource Technologies, Inc. Modeling and Analysis of Dynamic Systems