Specification Diagrams are:
Document generated automatically with the Ingenias Development Kit IDK 2.1