Mota, A., & 		Sampaio, A.
(1998).
 Model-Checking Processes with States: An Industrial Case Study.
In <em>Anais do XII Simpósio Brasileiro de Engenharia de Software</em>, (pp. 23-36). Porto Alegre: SBC.
doi:10.5753/sbes.1998.24017