@misc{indiciae7bb94562dc42,
  title = {Tool Support of Formal Methods for Privacy by Design},
  author = {Sibylle Schupp},
  year = {2019},
  url = {https://arxiv.org/abs/1903.11092},
  note = {Source identifier: 1903.11092}
}