EA_MODEL 3.4.4.2.1 Verification of requirements for contents of a linking message