@misc{indiciae7473c61a7c87,
  title = {A formal model for ledger management systems based on contracts and temporal logic},
  author = {Paolo Bottoni and Anna Labella and Remo Pareschi},
  year = {2021},
  doi = {10.1016/j.bcra.2022.100062},
  url = {https://arxiv.org/abs/2109.15212},
  note = {Source identifier: 2109.15212}
}