Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel: Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION 2007: 211-230