BTS: A Tool for Formal Component-Based Development. - Dalay Israel de Almeida Pereira; Marcel Vinícius Medeiros Oliveira; Madiel S. Conserva Filho; Sarah Raquel Da Rocha Silva (IFM, 2017)

An MDA Approach for the Specification of Relay-Based Diagrams. - Dalay Israel de Almeida Pereira; Ouahmed Malki; Philippe Bon; Matthieu Perin; Simon Collart Dutilleul (MEDI Workshops, 2018)

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. - Dalay Israel de Almeida Pereira; Sana Debbech; Matthieu Perin; Philippe Bon; Simon Collart Dutilleul (ER, 2019)

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. - Dalay Israel de Almeida Pereira; David Déharbe; Matthieu Perin; Philippe Bon (RSSRail, 2019)

Analysis and formal specification of relay-based railway interlocking systems. (Analyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais). - Dalay Israel de Almeida Pereira (2020)

CSP specification and verification of relay-based railway interlocking systems. - Dalay Israel de Almeida Pereira; Marcel Vinícius Medeiros Oliveira; P. E. R. Bezerra; Philippe Bon; Simon Collart Dutilleul (SAC, 2022)

CSP Specification and Verification of a Relay-Based Railway Interlocking System. - P. E. R. Bezerra; Marcel Vinícius Medeiros Oliveira; Thierry Lecomte; Dalay Israel de Almeida Pereira (SBMF, 2023)

Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. - Dalay Israel de Almeida Pereira; Florian Jamain; Thierry Lecomte (FMICS, 2024)

Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems. - Dalay Almeida (RSSRail, 2025)

From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach. - Dalay Israel de Almeida Pereira; Loïc Glemarec (RSSRail, 2025)

Engineering Safe Robotics Software from Simulation Models via RoboSim. - Pedro Ribeiro 002; Dalay Almeida; Paulo E. R. Bezerra; Ana Cavalcanti 001; Thierry Lecomte; Marcel Vinícius Medeiros Oliveira (SETSS, 2025)

Pragmatic Uses of AI in Formal Methods-Based Railway Projects: Early Lessons and Perspectives (Extended Abstract). - Thierry Lecomte; Dalay Almeida; Norman Maury (FM (2), 2026)