2 - dafs-fsa.dot is a description of the finite-state machine for volume
3 states in the Demand Attach fileserver
4 - dafs-vnode-fsa.dot is a description of the finite-state machine
5 for vnodes in the Demand Attach fileserver.
7 Both diagrams are in Dot (http://www.graphviz.org) format,
8 and can be converted to graphics formats via an
11 dot -Tsvg dafs-fsa.dot > dafs-fsa.svg