As in the case of ABP, the ABN AMRO case study uses the generic tooling
infrastructure described in Chap. 10. The way the tool is used in this case is
shown in Fig. 11.24. Input of system information is not yet automated, since this
is only available in the form of textual documents.