Arenas, C., 		Garcés, L., 		Carmona, M., & 		Simões, C.
(2020).
 Requirements specification of a software-intensive system in the health domain: An experience report.
In <em>Proceedings of the 19th Brazilian Symposium on Software Quality</em>, (pp. 345-354). Porto Alegre: SBC.