@article{MTMT:27644004,
	title = {A formal specification framework for smart grid components},
	url = {https://m2.mtmt.hu/api/publication/27644004},
	author = {Akram, W and Niazi, MA},
	doi = {10.1186/s40294-018-0057-3},
	journal-iso = {COMPLEX ADAP SYST MODEL},
	journal = {COMPLEX ADAPTIVE SYSTEMS MODELING},
	volume = {6},
	unique-id = {27644004},
	year = {2018},
	eissn = {2194-3206}
}