Silva, C. V., Villarroel, R., Simón, R. S., Saens, R., Tigero, T., & Rio, C. D. (2015). Aspect-Oriented Formal Modeling: AspectZ. Computing and Informatics, 34(5), 996–1016. https://cai.type.sk/content/2015/5/aspect-oriented-formal-modeling-aspectz/