@book{12951,
	author = {Awais Mahmood },
	title = {Formal verification of voltage profiling in smart grids using PRISM},
	publisher = {NUST SEECS Islamabad },
	year = {2014},
	address = {NUST SEECS Islamabad },
	note = {Supervisor;Dr. Osman Hassan },
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/10669}
}