Diego Souza, Ayla Dantas, and Ewerton Lopes. 2013.
 Testing Asynchronous Information Systems with ThreadControl: a Case Study. In <em>Proceedings of the 9th Brazilian Symposium on Information Systems</em>, May 22, 2013, João Pessoa, Brasil. SBC, Porto Alegre, Brasil, 194-205. DOI: <a href="https://doi.org/10.5753/sbsi.2013.5687">https://doi.org/10.5753/sbsi.2013.5687</a>.