Vidal Silva, C.; Villarroel, R.; Schmal Simón, R.; Saens, R.; Tigero, T.; Del Rio, C. Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ. Comput. Inform. 2016, 34, 996-1016.