"A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics."

Benoît Combemale, Laure Gonnord, Vlad Rusu (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics