Write requirements for traceability checker

[0x6d64]

Task:
Describe what we consider a "correct" traceability, e.g. "each use case shall be linked to at least one potential error".

This issued depends on #9 since only after the typical elements are described and present we can also describe what we need or must not have for the traceability to be correct.