TY  - RPRT
TI  - A Formal Specification Framework for Smart Grid Components
AU  - Waseem Akram
AU  - Muaz A. Niazi
PY  - 2017
UR  - https://arxiv.org/abs/1711.09184
ID  - 1711.09184
ER  -