Carolina Arenas, Lina Garcés, María Carmona, and Claudia Simões. 2020. Requirements specification of a software-intensive system in the health domain: An experience report. In Proceedings of the 19th Brazilian Symposium on Software Quality, December 01, 2020, São Luiz do Maranhão, Brasil. SBC, Porto Alegre, Brasil, 345-354.