@misc{indiciaec588f10e686b,
  title = {Parallel Statistical Model Checking for Safety Verification in Smart Grids},
  author = {T. Mancini and F. Mari and I. Melatti and I. Salvo and E. Tronci and J. K. Gruber and B. Hayes and M. Prodanovic and L. Elmegaard},
  year = {2021},
  doi = {10.1109/smartgridcomm.2018.8587416},
  url = {https://arxiv.org/abs/2106.10692},
  note = {Source identifier: 2106.10692}
}