dafs-fsa.dot is a description of the finite-state machine for volume
states in the Demand Attach fileserver in Dot (http://www.graphviz.org)
format.  An invocation like:

    dot -Tsvg dafs-fsa.dot > dafs-fsa.svg

will convert the description to an SVG file.
