@misc{indiciae3a03d28c3459,
  title = {Hardware-in-the-loop Testing of Signal Temporal Logic Frequency Control in a Microgrid},
  author = {Ferrari Maglia, Max and Olama, Mohammed M. and Ollis, Ben},
  year = {2020},
  url = {https://www.osti.gov/biblio/1632098},
  note = {Source identifier: 1632098}
}