10. The system of claim 9 , wherein the at least one tag is nested within other tags, thereby creating a hierarchy within the abstract model.
10. The system of claim 9 , wherein the at least one tag is nested within other tags, thereby creating a hierarchy within the abstract model. 12. The system of claim 10 , wherein the at least one tag further comprises unique identifiers which identify at least one element of the at least one region of the SAUT used to generate the abstract model.