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)

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)