Axis / Axis design rules

Axis design rules

Domain boundaries

Recursive source and specification layout

Specification dependency direction

Files and documentation

Verification