Souza, D., 		Dantas, A., & 		Lopes, E.
2013 May 22.  Testing Asynchronous Information Systems with ThreadControl: a Case Study. Proceedings of the Brazilian Symposium on Information Systems (SBSI). [Online] :