Arenas, C., Garcés, L., Carmona, M., & Simões, C. 2020 Dec 1. Requirements specification of a software-intensive system in the health domain: An experience report. Proceedings of the Brazilian Software Quality Symposium (SBQS). [Online] :