Mota, Alexandre, E 		Sampaio, Augusto.
" Model-Checking Processes with States: An Industrial Case Study" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (13 outubro 1998)