A. Rendón

Ambiente CTD: desarrollo de sistemas de tiempo real utilizando especificaciones ejecutables (CTD framework: Development of Real-Time Systems Via Executable Specifications)

J. D. De la Cruz, E. Tamura, A. Rendón, 1998 .

SMART - Sistema Modular para Aplicaciones en RI y Telemática (SMART – Modular system for IN and Telematics applications)

J. D. De la Cruz, A. Rendón, G. Arteaga, 2000 .

Early Validation of Real-Time Systems by Model Execution

Alejandro Alonso, Juan Antonio de la Puente, Miguel A. de Miguel, 1996 .

Advanced Software Engineering Techniques for Real-Time Systems

Alejandro Alonso, Juan Antonio de la Puente, Miguel A. de Miguel, 1998 .

SMART - Sistema Modular para Aplicaciones en Redes Inteligentes y Telemática

J. D. De la Cruz, A. Rendón, G. Arteaga, 1999 .

Heterogeneous Prototyping for Distributed Real-Time Systems

Alejandro Alonso, Juan C. Dueñas, A. Rendón, 1995 .