Mota, Alexandre, and Augusto Sampaio.
" Model-Checking Processes with States: An Industrial Case Study." <em>Anais do XII Simpósio Brasileiro de Engenharia de Software,
Maringá/PR, 1998</em>. SBC, 1998,  
pp.23-36.