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