Mota, A., & 		Sampaio, A.
1998 out 13.  Model-Checking Processes with States: An Industrial Case Study. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :