@article{parallelstatisticalmodelcheckingfor,
  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},
  eprint = {2106.10692},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2106.10692v1},
}