1 Table of Contents: “... of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process...”

2 Table of Contents: “... Approaches for Critical Systems -- Security and Safety Interaction -- Underpinnings for Safe Distributed...”

3 Table of Contents: “... Analysis and Mitigation for the Automotive Domain -- Guideline for Architectural Safety, Security...”

4 Subjects: “...Expert systems (Computer science)...”

5 Table of Contents: “... -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases...”