R. Almeida, S. Nogueira, and A. Sampaio.
" Sound Test Case Generation for Concurrent Mobile Features", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 92-109.