Added dot-file generation (Graphviz)