Errors on Space Software Requirements: A Field Study and Application Scenarios. - Paulo C. Véras; Emília Villani; Ana Maria Ambrosio; Nuno Silva; Marco Vieira; Henrique Madeira (ISSRE, 2010)

Benchmarking Software Requirements Documentation for Space Application. - Paulo C. Véras; Emília Villani; Ana Maria Ambrosio; Rodrigo Pastl Pontes; Marco Vieira; Henrique Madeira (SAFECOMP, 2010)

Contributions of model checking and CoFI methodology to the development of space embedded software. - Rodrigo Pastl Pontes; Paulo Claudino Véras; Ana Maria Ambrosio; Emília Villani (Empir. Softw. Eng., 2014)

A benchmarking process to assess software requirements documentation for space applications. - Paulo C. Véras; Emília Villani; Ana Maria Ambrosio; Marco Vieira; Henrique Madeira (J. Syst. Softw., 2015)