Text this: Formal methodology for analyzing the dynamic behavior of nonlinear systems using fuzzy logic