@book{13392,
	author = {Innayatullah and Supervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor},
	title = {Integration of ASM with event-B RODIN/},
	publisher = {NUST-SEECS},
	year = {2015},
	address = {Islamabad},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/6665}
}