@misc{indiciae36a37fa83989,
  title = {Checking Security Compliance between Models and Code},
  author = {Katja Tuma and Sven Peldszus and Daniel Strüber and Riccardo Scandariato and Jan Jürjens},
  year = {2022},
  doi = {10.1007/s10270-022-00991-5},
  url = {https://arxiv.org/abs/2108.08579},
  note = {Source identifier: 2108.08579}
}