Vidal-Silva, C. L., E. Madariaga, T. Pham, F. Johnson, L. A. Urzua, and L. Carter. “JPIAspectZ: A Formal Requirement Specification Language for Joint Point Interface AOP Applications”. Engineering, Technology & Applied Science Research, vol. 9, no. 4, Aug. 2019, pp. 4338-41, doi:10.48084/etasr.2774.