MOTA, Alexandre; 						SAMPAIO, Augusto.
 Model-Checking Processes with States: An Industrial Case Study.
<strong>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</strong>, [S.l.], p. 23-36, out. 1998.
ISSN 0000-0000.
Disponível em: &lt;<a href="https://sol.sbc.org.br/index.php/sbes/article/view/24017" target="_new">https://sol.sbc.org.br/index.php/sbes/article/view/24017</a>&gt;. Acesso em: 15 maio 2024.
doi: <a href="https://doi.org/10.5753/sbes.1998.24017">https://doi.org/10.5753/sbes.1998.24017</a>.