[Resumen] Cada día los sistemas de control son más complejos; los controladores de turbinas eólicas son un claro ejemplo de ello. Esto conlleva una demanda creciente de nuevas técnicas de verificación y validación que ...