Vidal Silva, C. et al. 2016. Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ. Computing and Informatics. 34, 5 (Mar. 2016), 996–1016.