Se propone un método de transformación de modelos basado en la refinación de estados y el mapeo semántico para abordar los desafíos de la alta complejidad de modelado y el consumo de recursos en la validación simbólica de requisitos de software industrial.