This artifact provides a visualization implementation based on the GraphVIZ DOT (http://www.graphviz.org/) tool.
