Bezerra, P., 		Oliveira, M., 		Lecomte, T., & 		Pereira, D.
(2023).
 CSP Specification and Verification of a Relay-Based Railway Interlocking System.
<em>Proceedings Of The Brazilian Symposium On Formal Methods (SBMF), </em>, 36-54.
Retrieved from <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>