DEMOCLES: a tool for executable modeling of platform-independent systems.

Christian Glodt, Pierre Kelsen, Elke Pulvermller

Browse the full OOPSLA paper archive.