selected publications academic article Using Aspects for Enforcing Formal Architectural Invariants. Electronic Notes in Theoretical Computer Science. 215:5-21. 2008