@article{202206.0431,
	doi = {10.20944/preprints202206.0431.v1},
	url = {https://doi.org/10.20944/preprints202206.0431.v1},
	year = 2022,
	month = {June},
	publisher = {Preprints},
	author = {Shravan Kumar Akula and Hossein Salehfar and Emanuel Grant},
	title = {Formal Specification framework for Hierarchical Microgrid community},
	journal = {Preprints}
}