Using Security Robustness Analysis for Early Stage Validation of Functional Security Requirements - unknown (2020)