JPIAspectZ: A Formal Specification Language for Aspect-Oriented JPI Applications. - Cristian Vidal Silva; Rodolfo Villarroel; Cristian Pereira Vasquez (SCCC, 2014)