DEMOS: a tool for declarative executable modeling of object-based systems.

Christian GlodtPierre Kelsen
Published in: OOPSLA Companion (2006)