A Formal Specification Framework for Smart Grid Components.

Waseem AkramMuaz A. Niazi
Published in: CoRR (2017)