Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ. - Cristian Vidal Silva; Rodolfo Villarroel; Rodolfo Schmal Simón; Rodrigo Saens; Tamara Tigero; Carolina Del Río (Comput. Informatics, 2015)