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.