Formal Methods for Control of Nonlinear Systems