Enforcing System-Wide Properties. - Michael Eichberg; Mira Mezini; Thorsten Schäfer; Claus Beringer; Karl Matthias Hamel (Australian Software Engineering Conference, 2004)