Almeida, R., 		Nogueira, S., & 		Sampaio, A.
(2023).
 Sound Test Case Generation for Concurrent Mobile Features.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 92-109). Porto Alegre: SBC.