Towards formal verification of smart grid distributed intelligence: FREEDM case | IEEE Conference Publication | IEEE Xplore