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)

Contribuições do model checking e da metodologia CoFi para o software embarcado espacial. - Rodrigo Pastl Pontes (2011)

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)

Methodology for the in-process evaluation of software-based process failures in selective laser melting machine tools. - Rodrigo Pastl Pontes (Fraunhofer Verlag, 2018)

Integrating model checking and model based testing for industrial software development. - Emília Villani; Rodrigo Pastl Pontes; Guilherme Kisseloff Coracini; Ana Maria Ambrosio (Comput. Ind., 2019)