Mota, A., & 		Sampaio, A.
(1998).
 Model-Checking Processes with States: An Industrial Case Study.
<em>Anais Do SimpóSio Brasileiro De Engenharia De Software (SBES), </em>, 23-36.
doi:10.5753/sbes.1998.24017