Text this: Formal Methods for Control of Nonlinear Systems: