TY  - RPRT
TI  - Checking Security Compliance between Models and Code
AU  - Katja Tuma
AU  - Sven Peldszus
AU  - Daniel Strüber
AU  - Riccardo Scandariato
AU  - Jan Jürjens
PY  - 2022
DO  - 10.1007/s10270-022-00991-5
UR  - https://arxiv.org/abs/2108.08579
ID  - 2108.08579
ER  -