Towards the Use of Model-Driven Technologies in an Integral Software Development Process. - Aaron Montalvo; Pablo Parra; Oscar R. Polo; Alberto Carrasco; Agustín Martínez-Hellín; Sebastián Sánchez Prieto (RE Workshops, 2019)

Reliability-oriented design of on-board satellite boot software against single event effects. - Oscar R. Polo; Jonatan Sánchez; Antonio da Silva 001; Pablo Parra; Agustín Martínez-Hellín; Alberto Carrasco; Sebastián Sánchez 001 (J. Syst. Archit., 2021)

Model-driven system-level validation and verification on the space software domain. - Aaron Montalvo; Pablo Parra; Oscar Rodríguez Polo; Alberto Carrasco; Antonio da Silva 001; Agustín Martínez-Hellín; Sebastián Sánchez 001 (Softw. Syst. Model., 2022)