Figure 12: Overview of the generated functional spec document.