@misc{indiciaebe3ac373ea5d,
  title = {Formal Modeling and Initial Analysis of the 4SECURail Case Study},
  author = {Franco Mazzanti and Dimitri Belli},
  year = {2022},
  doi = {10.4204/eptcs.355.6},
  url = {https://arxiv.org/abs/2203.10903},
  note = {Source identifier: 2203.10903}
}