Combining STPA with SysML Modeling. - Fellipe Guilherme Rey de Souza; Juliana de Melo Bezerra; Celso Massaki Hirata; Pierre de Saqui-Sannes; Ludovic Apvrille (SysCon, 2020)

Synthesis of a Controller Algorithm for Safety-Critical Systems. - Fellipe Guilherme Rey de Souza; Celso Massaki Hirata; Simin Nadjm-Tehrani (IEEE Access, 2022)