Resource management for enhancing predictability in systems with limited processing capabilities. - Alejandro Alonso 001; Emilio Salazar; Jorge López (ETFA, 2010)

Model-based development for RTSJ platforms. - Miguel A. de Miguel; Emilio Salazar (JTRES, 2012)

A Model-Based Framework for Developing Real-Time Safety Ada Systems. - Emilio Salazar; Alejandro Alonso 001; Miguel A. de Miguel; Juan Antonio de la Puente (Ada-Europe, 2013)