Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. - Adriano Gomes; Alexandre Mota 001; Augusto Sampaio 001; Felipe A. S. Ferri; Julio Buzzi (ISoLA (1), 2010)

Evolving a Safe System Design Iteratively. - Alexandre Mota 001; Joabe Jesus; Adriano Gomes; Felipe A. S. Ferri; Edson H. Watanabe (SAFECOMP, 2010)

Constructive model-based analysis for safety assessment. - Adriano Gomes; Alexandre Mota 001; Augusto Sampaio 001; Felipe A. S. Ferri; Edson H. Watanabe (Int. J. Softw. Tools Technol. Transf., 2012)

Combining PHM information and system architecture to support aircraft maintenance planning. - Felipe Augusto Sviaghin Ferri; Leonardo Ramos Rodrigues; João Paulo Pordeus Gomes; Ivo Paixao de Medeiros; Roberto Kawakami Harrop Galvão; Cairo Lúcio Nascimento Júnior (SysCon, 2013)

Use of PHM Information and System Architecture for Optimized Aircraft Maintenance Planning. - Leonardo Ramos Rodrigues; João P. P. Gomes; Felipe A. S. Ferri; Ivo Paixao de Medeiros; Roberto Kawakami Harrop Galvão; Cairo Lúcio Nascimento Júnior (IEEE Syst. J., 2015)