Conventions: [DT] Dependency table; WU task colours (check, examine, other), EAL4 highlighted in case of multiple components in family. Abbreviations: beh. (behaviour), enf. (enforcing), ext. (extended), IF (interface), impl (implementation), interf. (interfering), mod. (module), pen (penetration), pot. (potential), req (requirement), s/e (supporting/enforcing), subs. (subsystem), sup. (support...
