Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL. - Ulyana Tikhonova; Maarten Manders; Rimco Boudewijns (STAF Workshops, 2016)