This is an old revision of the document!
4.5 Traceability
Each layer preserves traceability to the layer inside it.
A logical element traces to the conceptual element it specialises in. An implementation artefact traces to the logical element it realises. A deployment artefact traces to the implementation artefact it deploys. Evidence traces to the claim it supports.