4.1.2. Verification of the safety concept of paragraph 3.4. a0c0