@misc{indiciae626214f035b0,
  title = {A Run-Time Verification Framework for Smart Grid Applications Implemented on Simulation Frameworks},
  author = {Ciraci, Selim and Sozer, Hasan and Tekinerdogan, Bedir},
  year = {2013},
  doi = {10.1109/se4sg.2013.6596105},
  url = {https://www.osti.gov/biblio/1126351},
  note = {Source identifier: 1126351}
}