Graphviz DOT generator

Claudio Ochoa (original version)
Jose F. Morales (improvements)