AGRUPE - A Knowledge Management Tool. - Ana Marlene Morais; Miriam C. Bergue Alves (KMIS, 2010)

Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. - Miriam C. Bergue Alves; Doron Drusinsky; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case. - Miriam C. Bergue Alves; Cynthia Feitosa Leal (CE, 2012)

End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. - Miriam C. Bergue Alves; Doron Drusinsky; James Bret Michael; Man-tak Shing (IEEE Syst. J., 2013)

Formal Verification of Safety-Critical User Interfaces: a space system case study. - Manuel Sousa; José Creissac Campos; Miriam C. Bergue Alves; Michael D. Harrison (AAAI Spring Symposia, 2014)

Formal Verification of a Space System's User Interface With the IVY Workbench. - José Creissac Campos; Manuel Sousa; Miriam C. Bergue Alves; Michael D. Harrison (IEEE Trans. Hum. Mach. Syst., 2016)