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 Apr. 20];34(5):996-1016. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/1380