The diagram below gives a global overview of the data flow that supports the FSW group's mechanized documentation. The node labels have been removed for clarity; use the nodes' tooltips, instead.
