BEZERRA, P. E. R. et al.
 CSP Specification and Verification of a Relay-Based Railway Interlocking System.
<strong>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</strong>, [S.l.], p. 36-54, dec. 2023.
ISSN 0000-0000.
Available at: &lt;<a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28035" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28035</a>&gt;. Date accessed: 17 may 2024.