C. Arenas, L. Garcés, M. Carmona, and C. Simões. "Requirements specification of a software-intensive system in the health domain: An experience report", in Anais do XIX Simpósio Brasileiro de Qualidade de Software, São Luiz do Maranhão, 2020, pp. 345-354.