Mota, A., & 		Sampaio, A.
(1998).
 Model-Checking Processes with States: An Industrial Case Study.
In <em>Proceedings of the 12th Brazilian Symposium on Software Engineering</em>, (pp. 23-36). Porto Alegre: SBC.
doi:10.5753/sbes.1998.24017