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

Architectural Verification of Control Systems Using CSP. - Joabe Jesus; Alexandre Mota 001; Augusto Sampaio 001; Luiz Grijo (ICFEM, 2011)

Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. - Joabe Jesus; Augusto Sampaio 001 (SBMF, 2022)

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. - Joabe Jesus; Augusto Sampaio 001 (Sci. Comput. Program., 2024)