@misc{indiciae926322df19a1,
  title = {A Formal Specification Framework for Smart Grid Components},
  author = {Waseem Akram and Muaz A. Niazi},
  year = {2017},
  url = {https://arxiv.org/abs/1711.09184},
  note = {Source identifier: 1711.09184}
}