Vidal-Silva, C. L.; Madariaga, E.; Pham, T.; Johnson, F.; Urzua, L. A.; Carter, L. JPIAspectZ: A Formal Requirement Specification Language for Joint Point Interface AOP Applications. Eng. Technol. Appl. Sci. Res. 2019, 9, 4338-4341.