@misc{indiciaeb8ac17f5c000,
  title = {A phase transition model and temporal logic specifications for smart energy systems - revisited},
  author = {Park, Byungkwon and Olama, Mohammed M.},
  year = {2020},
  url = {https://www.osti.gov/biblio/1651361},
  note = {Source identifier: 1651361}
}