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. [Internet]. 2016 Mar. 1 [cited 2024 Nov. 7];34(5):996-1016. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/1380