Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model. - Héctor Pérez 001; J. Javier Gutiérrez; Esteban Asensio; Juan Zamorano; Juan Antonio de la Puente (EUROMICRO-SEAA, 2011)

Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. - Esteban Asensio; Ismael Lafoz; Andrew Coombes; Julian Navas (Ada-Europe, 2013)