13. The system of claim 11 in which the report is a document structured with portions corresponding to different elements of the graphical model representation.
13. The system of claim 11 in which the report is a document structured with portions corresponding to different elements of the graphical model representation. 14. The system of claim 13 in which the document is a structural coverage report.