Figure 15: Functional spec accuracy reported by the participants.