A formal methodology for the analysis and design of nonlinear fuzzy control systems | Publicación