Metodología formal de análisis del comportamiento dinámico de sistemas no lineales mediante lógica borrosa | Publicación