Vidal-Silva, C.L., Madariaga, E., Pham, T., Johnson, F., Urzua, L.A. and Carter, L. 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.