Extending DMM Behavior Specifications for Visual Execution and Debugging. - Nils Bandener; Christian Soltenborn; Gregor Engels (SLE, 2010)