C. L. Vidal-Silva, E. Madariaga, T. Pham, F. Johnson, L. A. Urzua, and L. Carter, “JPIAspectZ: A Formal Requirement Specification Language for Joint Point Interface AOP Applications”, Eng. Technol. Appl. Sci. Res., vol. 9, no. 4, pp. 4338–4341, Aug. 2019.