C. Vidal Silva, R. Villarroel, R. Schmal Simón, R. Saens, T. Tigero, and C. Del Rio, “Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ”, Comput. Inform., vol. 34, no. 5, pp. 996–1016, Mar. 2016.