Text this: Safety-critical controller design for nonlinear systems