Vitalsource Technologies, Inc. Formal Methods for Control of Nonlinear Systems