Dynamic analysis of SA/RT models using Spin and modular verification. - Javier Tuya; José Ramón de Diego; Claudio de la Riva; José A. Corrales (The Spin Verification System, 1996)

Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (Ershov Memorial Conference, 1999)

Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2000)

Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2001)

Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2003)