Vidal-Silva, C.L. et al. 2019. JPIAspectZ: A Formal Requirement Specification Language for Joint Point Interface AOP Applications. Engineering, Technology & Applied Science Research. 9, 4 (Aug. 2019), 4338–4341. DOI:https://doi.org/10.48084/etasr.2774.