Requirements specification of a software-intensive system in the health domain: An experience report. - Carolina Arenas; Lina Garcés; María J. C. Carmona; Claudia Marquez Simões (SBQS, 2020)